Parent directory/ | - | - |
libcoq-quickchick_2.0.3-3+b2_s390x.deb | 4253904 | 2024-Aug-12 07:10 |
quickchick_2.0.3-3+b2_s390x.deb | 488232 | 2024-Aug-12 07:10 |
libcoq-quickchick_2.0.3-3+b2_riscv64.deb | 4438852 | 2024-Aug-12 05:06 |
quickchick_2.0.3-3+b2_riscv64.deb | 499672 | 2024-Aug-12 05:06 |
libcoq-quickchick_2.0.3-3+b2_arm64.deb | 4283092 | 2024-Aug-12 04:41 |
quickchick_2.0.3-3+b2_arm64.deb | 524980 | 2024-Aug-12 04:41 |
quickchick_2.0.3-3+b2_amd64.deb | 480704 | 2024-Aug-12 04:35 |
libcoq-quickchick_2.0.3-3+b2_amd64.deb | 4272932 | 2024-Aug-12 04:35 |
quickchick_2.0.3-3_armhf.deb | 385648 | 2024-Aug-04 21:47 |
libcoq-quickchick_2.0.3-3_armhf.deb | 3450184 | 2024-Aug-04 21:47 |
libcoq-quickchick_2.0.3-3_ppc64el.deb | 3470232 | 2024-Aug-04 21:02 |
quickchick_2.0.3-3_ppc64el.deb | 432972 | 2024-Aug-04 21:02 |
quickchick_2.0.3-3_i386.deb | 403080 | 2024-Aug-04 19:51 |
libcoq-quickchick_2.0.3-3_i386.deb | 3423976 | 2024-Aug-04 19:51 |
coq-quickchick_2.0.3-3.dsc | 2049 | 2024-Aug-04 06:22 |
coq-quickchick_2.0.3-3.debian.tar.xz | 2856 | 2024-Aug-04 06:22 |
coq-quickchick_2.0.3-2.debian.tar.xz | 2792 | 2024-Apr-30 21:09 |
coq-quickchick_2.0.3-2.dsc | 2275 | 2024-Apr-30 21:09 |
coq-quickchick_2.0.3.orig.tar.gz | 411625 | 2024-Apr-30 21:09 |
quickchick_1.6.4-3+b1_ppc64el.deb | 55676 | 2023-Feb-14 13:13 |
libcoq-quickchick_1.6.4-3+b1_ppc64el.deb | 1588264 | 2023-Feb-14 13:13 |
libcoq-quickchick_1.6.4-3+b1_s390x.deb | 1587008 | 2023-Feb-14 06:26 |
quickchick_1.6.4-3+b1_s390x.deb | 55672 | 2023-Feb-14 06:26 |
libcoq-quickchick_1.6.4-3+b1_i386.deb | 1567080 | 2023-Feb-14 06:16 |
quickchick_1.6.4-3+b1_i386.deb | 55656 | 2023-Feb-14 06:16 |
libcoq-quickchick_1.6.4-3+b1_armhf.deb | 1579732 | 2023-Feb-14 06:11 |
quickchick_1.6.4-3+b1_armhf.deb | 55656 | 2023-Feb-14 06:11 |
libcoq-quickchick_1.6.4-3+b1_amd64.deb | 1584008 | 2023-Feb-14 06:11 |
quickchick_1.6.4-3+b1_amd64.deb | 55660 | 2023-Feb-14 06:11 |
libcoq-quickchick_1.6.4-3+b1_arm64.deb | 1605120 | 2023-Feb-14 06:11 |
quickchick_1.6.4-3+b1_arm64.deb | 55652 | 2023-Feb-14 06:11 |
coq-quickchick_1.6.4-3.debian.tar.xz | 2724 | 2023-Jan-27 06:18 |
coq-quickchick_1.6.4-3.dsc | 2261 | 2023-Jan-27 06:18 |
coq-quickchick_1.6.4.orig.tar.gz | 388461 | 2022-Aug-15 06:38 |