coq-quickchick_1.6.4-3.debian.tar.xz
|
|
2724 B |
coq-quickchick_1.6.4-3.dsc
|
|
2261 B |
coq-quickchick_1.6.4.orig.tar.gz
|
|
379 KiB |
coq-quickchick_2.0.3-2.debian.tar.xz
|
|
2792 B |
coq-quickchick_2.0.3-2.dsc
|
|
2275 B |
coq-quickchick_2.0.3.orig.tar.gz
|
|
402 KiB |
libcoq-quickchick_1.6.4-3+b1_amd64.deb
|
|
1547 KiB |
libcoq-quickchick_1.6.4-3+b1_arm64.deb
|
|
1568 KiB |
libcoq-quickchick_1.6.4-3+b1_armhf.deb
|
|
1543 KiB |
libcoq-quickchick_1.6.4-3+b1_i386.deb
|
|
1530 KiB |
libcoq-quickchick_1.6.4-3+b1_ppc64el.deb
|
|
1551 KiB |
libcoq-quickchick_1.6.4-3+b1_s390x.deb
|
|
1550 KiB |
libcoq-quickchick_2.0.3-2+b1_armhf.deb
|
|
3178 KiB |
libcoq-quickchick_2.0.3-2+b1_s390x.deb
|
|
3154 KiB |
libcoq-quickchick_2.0.3-2+b2_amd64.deb
|
|
3181 KiB |
libcoq-quickchick_2.0.3-2+b2_arm64.deb
|
|
3190 KiB |
libcoq-quickchick_2.0.3-2+b2_i386.deb
|
|
3154 KiB |
libcoq-quickchick_2.0.3-2+b2_ppc64el.deb
|
|
3199 KiB |
libcoq-quickchick_2.0.3-2+b2_riscv64.deb
|
|
3305 KiB |
quickchick_1.6.4-3+b1_amd64.deb
|
|
54 KiB |
quickchick_1.6.4-3+b1_arm64.deb
|
|
54 KiB |
quickchick_1.6.4-3+b1_armhf.deb
|
|
54 KiB |
quickchick_1.6.4-3+b1_i386.deb
|
|
54 KiB |
quickchick_1.6.4-3+b1_ppc64el.deb
|
|
54 KiB |
quickchick_1.6.4-3+b1_s390x.deb
|
|
54 KiB |
quickchick_2.0.3-2+b1_armhf.deb
|
|
377 KiB |
quickchick_2.0.3-2+b1_s390x.deb
|
|
404 KiB |
quickchick_2.0.3-2+b2_amd64.deb
|
|
402 KiB |
quickchick_2.0.3-2+b2_arm64.deb
|
|
446 KiB |
quickchick_2.0.3-2+b2_i386.deb
|
|
394 KiB |
quickchick_2.0.3-2+b2_ppc64el.deb
|
|
423 KiB |
quickchick_2.0.3-2+b2_riscv64.deb
|
|
410 KiB |