Index of /debian/pool/main/c/coq-quickchick
Name Last modified Size Description
Parent Directory -
coq-quickchick_1.6.4.orig.tar.gz 2022-08-15 08:38 379K
coq-quickchick_1.6.4-3.debian.tar.xz 2023-01-27 07:18 2.7K
coq-quickchick_1.6.4-3.dsc 2023-01-27 07:18 2.2K
libcoq-quickchick_1.6.4-3+b1_arm64.deb 2023-02-14 07:11 1.5M
quickchick_1.6.4-3+b1_arm64.deb 2023-02-14 07:11 54K
libcoq-quickchick_1.6.4-3+b1_amd64.deb 2023-02-14 07:11 1.5M
quickchick_1.6.4-3+b1_amd64.deb 2023-02-14 07:11 54K
libcoq-quickchick_1.6.4-3+b1_armhf.deb 2023-02-14 07:11 1.5M
quickchick_1.6.4-3+b1_armhf.deb 2023-02-14 07:11 54K
libcoq-quickchick_1.6.4-3+b1_i386.deb 2023-02-14 07:16 1.5M
quickchick_1.6.4-3+b1_i386.deb 2023-02-14 07:16 54K
libcoq-quickchick_1.6.4-3+b1_s390x.deb 2023-02-14 07:26 1.5M
quickchick_1.6.4-3+b1_s390x.deb 2023-02-14 07:26 54K
libcoq-quickchick_1.6.4-3+b1_ppc64el.deb 2023-02-14 14:13 1.5M
quickchick_1.6.4-3+b1_ppc64el.deb 2023-02-14 14:13 54K
coq-quickchick_2.0.orig.tar.gz 2023-06-14 15:57 400K
coq-quickchick_2.0-2.debian.tar.xz 2023-07-12 11:06 2.8K
coq-quickchick_2.0-2.dsc 2023-07-12 11:06 2.0K
libcoq-quickchick_2.0-2+b2_armhf.deb 2023-09-22 15:43 1.7M
quickchick_2.0-2+b2_armhf.deb 2023-09-22 15:43 57K
libcoq-quickchick_2.0-2+b2_i386.deb 2023-09-22 15:43 1.7M
quickchick_2.0-2+b2_i386.deb 2023-09-22 15:43 57K
libcoq-quickchick_2.0-2+b2_amd64.deb 2023-09-22 15:54 1.7M
quickchick_2.0-2+b2_amd64.deb 2023-09-22 15:54 57K
libcoq-quickchick_2.0-2+b2_arm64.deb 2023-09-22 15:59 1.8M
quickchick_2.0-2+b2_arm64.deb 2023-09-22 15:59 57K
libcoq-quickchick_2.0-2+b2_s390x.deb 2023-09-22 16:29 1.7M
quickchick_2.0-2+b2_s390x.deb 2023-09-22 16:29 57K
libcoq-quickchick_2.0-2+b2_ppc64el.deb 2023-09-22 16:44 1.7M
quickchick_2.0-2+b2_ppc64el.deb 2023-09-22 16:44 57K
libcoq-quickchick_2.0-2+b1_riscv64.deb 2023-09-24 13:14 1.7M
quickchick_2.0-2+b1_riscv64.deb 2023-09-24 13:14 57K
coq-quickchick_2.0.1-1.debian.tar.xz 2023-12-22 12:07 2.9K
coq-quickchick_2.0.1-1.dsc 2023-12-22 12:07 2.2K
coq-quickchick_2.0.1.orig.tar.gz 2023-12-22 12:07 400K
libcoq-quickchick_2.0.1-1_arm64.deb 2023-12-25 12:48 1.7M
quickchick_2.0.1-1_arm64.deb 2023-12-25 12:48 57K
libcoq-quickchick_2.0.1-1_ppc64el.deb 2023-12-25 12:48 1.6M
quickchick_2.0.1-1_ppc64el.deb 2023-12-25 12:48 57K
libcoq-quickchick_2.0.1-1_amd64.deb 2023-12-25 12:48 1.6M
quickchick_2.0.1-1_amd64.deb 2023-12-25 12:48 57K
libcoq-quickchick_2.0.1-1_i386.deb 2023-12-25 12:48 1.6M
quickchick_2.0.1-1_i386.deb 2023-12-25 12:48 57K
libcoq-quickchick_2.0.1-1_s390x.deb 2024-01-01 00:37 1.6M
quickchick_2.0.1-1_s390x.deb 2024-01-01 00:37 57K
libcoq-quickchick_2.0.1-1_armhf.deb 2024-01-01 00:52 1.6M
quickchick_2.0.1-1_armhf.deb 2024-01-01 00:52 57K
libcoq-quickchick_2.0.1-1_riscv64.deb 2024-01-04 05:54 1.6M
quickchick_2.0.1-1_riscv64.deb 2024-01-04 05:54 57K
coq-quickchick_2.0.2-1.debian.tar.xz 2024-01-20 20:21 3.0K
coq-quickchick_2.0.2-1.dsc 2024-01-20 20:21 2.2K
coq-quickchick_2.0.2.orig.tar.gz 2024-01-20 20:21 406K
libcoq-quickchick_2.0.2-1_i386.deb 2024-01-20 21:23 1.6M
quickchick_2.0.2-1_i386.deb 2024-01-20 21:23 57K
libcoq-quickchick_2.0.2-1_amd64.deb 2024-01-20 21:28 1.6M
quickchick_2.0.2-1_amd64.deb 2024-01-20 21:28 57K
libcoq-quickchick_2.0.2-1_ppc64el.deb 2024-01-20 21:28 1.6M
quickchick_2.0.2-1_ppc64el.deb 2024-01-20 21:28 57K
libcoq-quickchick_2.0.2-1_armhf.deb 2024-01-20 21:33 1.6M
quickchick_2.0.2-1_armhf.deb 2024-01-20 21:33 57K
libcoq-quickchick_2.0.2-1_arm64.deb 2024-01-20 21:33 1.7M
quickchick_2.0.2-1_arm64.deb 2024-01-20 21:33 57K
libcoq-quickchick_2.0.2-1_riscv64.deb 2024-01-20 21:38 1.6M
quickchick_2.0.2-1_riscv64.deb 2024-01-20 21:38 57K
libcoq-quickchick_2.0.2-1_s390x.deb 2024-01-20 22:40 1.6M
quickchick_2.0.2-1_s390x.deb 2024-01-20 22:40 57K
libcoq-quickchick_2.0.2-1+b1_armhf.deb 2024-02-16 15:09 1.6M
quickchick_2.0.2-1+b1_armhf.deb 2024-02-16 15:09 57K
libcoq-quickchick_2.0.2-1+b1_s390x.deb 2024-02-16 15:59 1.6M
quickchick_2.0.2-1+b1_s390x.deb 2024-02-16 15:59 57K
libcoq-quickchick_2.0.2-1+b1_amd64.deb 2024-02-16 16:04 1.6M
quickchick_2.0.2-1+b1_amd64.deb 2024-02-16 16:04 57K
libcoq-quickchick_2.0.2-1+b1_i386.deb 2024-02-16 16:04 1.6M
quickchick_2.0.2-1+b1_i386.deb 2024-02-16 16:04 57K
libcoq-quickchick_2.0.2-1+b1_ppc64el.deb 2024-02-16 16:20 1.6M
quickchick_2.0.2-1+b1_ppc64el.deb 2024-02-16 16:20 57K
libcoq-quickchick_2.0.2-1+b1_arm64.deb 2024-02-16 18:36 1.7M
quickchick_2.0.2-1+b1_arm64.deb 2024-02-16 18:36 57K
libcoq-quickchick_2.0.2-1+b1_riscv64.deb 2024-02-18 02:33 1.6M
quickchick_2.0.2-1+b1_riscv64.deb 2024-02-18 02:33 57K
libcoq-quickchick_2.0.2-1+b2_i386.deb 2024-03-20 04:26 1.6M
quickchick_2.0.2-1+b2_i386.deb 2024-03-20 04:26 57K
libcoq-quickchick_2.0.2-1+b2_amd64.deb 2024-03-20 05:55 1.6M
quickchick_2.0.2-1+b2_amd64.deb 2024-03-20 05:55 57K
libcoq-quickchick_2.0.2-1+b2_ppc64el.deb 2024-03-20 05:55 1.6M
quickchick_2.0.2-1+b2_ppc64el.deb 2024-03-20 05:55 57K
libcoq-quickchick_2.0.2-1+b2_arm64.deb 2024-03-20 06:32 1.7M
quickchick_2.0.2-1+b2_arm64.deb 2024-03-20 06:32 57K
libcoq-quickchick_2.0.2-1+b2_s390x.deb 2024-03-20 14:02 1.6M
quickchick_2.0.2-1+b2_s390x.deb 2024-03-20 14:02 57K
libcoq-quickchick_2.0.2-1+b2_armhf.deb 2024-04-01 01:29 1.6M
quickchick_2.0.2-1+b2_armhf.deb 2024-04-01 01:29 57K
libcoq-quickchick_2.0.2-1+b2_riscv64.deb 2024-04-12 07:30 1.6M
quickchick_2.0.2-1+b2_riscv64.deb 2024-04-12 07:30 57K
libcoq-quickchick_2.0.2-1+b3_amd64.deb 2024-04-29 18:20 1.7M
quickchick_2.0.2-1+b3_amd64.deb 2024-04-29 18:20 57K
libcoq-quickchick_2.0.2-1+b3_arm64.deb 2024-04-29 18:20 1.7M
quickchick_2.0.2-1+b3_arm64.deb 2024-04-29 18:20 57K
libcoq-quickchick_2.0.2-1+b3_i386.deb 2024-04-29 18:20 1.6M
quickchick_2.0.2-1+b3_i386.deb 2024-04-29 18:20 57K
libcoq-quickchick_2.0.2-1+b3_ppc64el.deb 2024-04-29 18:36 1.7M
quickchick_2.0.2-1+b3_ppc64el.deb 2024-04-29 18:36 57K
coq-quickchick_2.0.3-2.dsc 2024-04-30 23:09 2.2K
coq-quickchick_2.0.3-2.debian.tar.xz 2024-04-30 23:09 2.7K
coq-quickchick_2.0.3.orig.tar.gz 2024-04-30 23:09 402K
libcoq-quickchick_2.0.3-2_ppc64el.deb 2024-04-30 23:39 3.1M
quickchick_2.0.3-2_ppc64el.deb 2024-04-30 23:39 422K
libcoq-quickchick_2.0.3-2_arm64.deb 2024-04-30 23:39 3.1M
quickchick_2.0.3-2_arm64.deb 2024-04-30 23:39 445K
libcoq-quickchick_2.0.3-2_amd64.deb 2024-04-30 23:39 3.1M
quickchick_2.0.3-2_amd64.deb 2024-04-30 23:39 402K
libcoq-quickchick_2.0.3-2_i386.deb 2024-04-30 23:39 3.1M
quickchick_2.0.3-2_i386.deb 2024-04-30 23:39 394K
libcoq-quickchick_2.0.3-2_riscv64.deb 2024-04-30 23:47 3.3M
quickchick_2.0.3-2_riscv64.deb 2024-04-30 23:47 410K
libcoq-quickchick_2.0.3-2+b1_i386.deb 2024-06-05 01:37 3.1M
quickchick_2.0.3-2+b1_i386.deb 2024-06-05 01:37 394K
libcoq-quickchick_2.0.3-2+b1_amd64.deb 2024-06-05 01:37 3.1M
quickchick_2.0.3-2+b1_amd64.deb 2024-06-05 01:37 401K
libcoq-quickchick_2.0.3-2+b1_arm64.deb 2024-06-05 12:21 3.1M
quickchick_2.0.3-2+b1_arm64.deb 2024-06-05 12:21 442K
libcoq-quickchick_2.0.3-2+b1_riscv64.deb 2024-06-05 16:59 3.3M
quickchick_2.0.3-2+b1_riscv64.deb 2024-06-05 16:59 410K
libcoq-quickchick_2.0.3-2_s390x.deb 2024-06-07 12:02 3.1M
quickchick_2.0.3-2_s390x.deb 2024-06-07 12:02 403K
libcoq-quickchick_2.0.3-2_armhf.deb 2024-06-07 12:42 3.1M
quickchick_2.0.3-2_armhf.deb 2024-06-07 12:42 377K
libcoq-quickchick_2.0.3-2+b1_ppc64el.deb 2024-06-07 13:38 3.1M
quickchick_2.0.3-2+b1_ppc64el.deb 2024-06-07 13:38 423K
libcoq-quickchick_2.0.3-2+b2_amd64.deb 2024-06-15 15:06 3.1M
quickchick_2.0.3-2+b2_amd64.deb 2024-06-15 15:06 402K
libcoq-quickchick_2.0.3-2+b2_ppc64el.deb 2024-06-15 15:07 3.1M
quickchick_2.0.3-2+b2_ppc64el.deb 2024-06-15 15:07 423K
libcoq-quickchick_2.0.3-2+b2_i386.deb 2024-06-15 15:07 3.1M
quickchick_2.0.3-2+b2_i386.deb 2024-06-15 15:07 394K
libcoq-quickchick_2.0.3-2+b1_armhf.deb 2024-06-15 15:17 3.1M
quickchick_2.0.3-2+b1_armhf.deb 2024-06-15 15:17 377K
libcoq-quickchick_2.0.3-2+b2_arm64.deb 2024-06-15 17:18 3.1M
quickchick_2.0.3-2+b2_arm64.deb 2024-06-15 17:18 446K
libcoq-quickchick_2.0.3-2+b1_s390x.deb 2024-06-16 02:38 3.1M
quickchick_2.0.3-2+b1_s390x.deb 2024-06-16 02:38 404K
libcoq-quickchick_2.0.3-2+b2_riscv64.deb 2024-06-16 02:58 3.2M
quickchick_2.0.3-2+b2_riscv64.deb 2024-06-16 02:58 410K