coq-quickchick

Name	Size	Modified
Up
coq-quickchick_1.6.4-1.debian.tar.xz	2.6 KiB	08/15/2022 11:39:23 AM +00:00
coq-quickchick_1.6.4-1.dsc	2.2 KiB	08/15/2022 11:39:23 AM +00:00
coq-quickchick_1.6.4.orig.tar.gz	379 KiB	08/15/2022 11:39:23 AM +00:00
coq-quickchick_2.0-2build1.debian.tar.xz	2.9 KiB	07/24/2023 05:37:44 PM +00:00
coq-quickchick_2.0-2build1.dsc	2.2 KiB	07/24/2023 05:37:44 PM +00:00
coq-quickchick_2.0.orig.tar.gz	400 KiB	06/14/2023 11:24:10 PM +00:00
libcoq-quickchick_1.6.4-1_amd64.deb	1.7 MiB	08/22/2022 06:54:24 AM +00:00
libcoq-quickchick_1.6.4-1_arm64.deb	1.8 MiB	08/22/2022 06:54:30 AM +00:00
libcoq-quickchick_1.6.4-1_armhf.deb	1.7 MiB	08/22/2022 06:54:35 AM +00:00
libcoq-quickchick_1.6.4-1_ppc64el.deb	1.8 MiB	08/22/2022 06:54:40 AM +00:00
libcoq-quickchick_1.6.4-1_riscv64.deb	1.7 MiB	08/22/2022 07:19:15 AM +00:00
libcoq-quickchick_1.6.4-1_s390x.deb	1.8 MiB	08/22/2022 07:19:16 AM +00:00
libcoq-quickchick_2.0-2build1_amd64.deb	2.0 MiB	07/26/2023 09:58:43 AM +00:00
libcoq-quickchick_2.0-2build1_arm64.deb	2.1 MiB	07/26/2023 09:58:45 AM +00:00
libcoq-quickchick_2.0-2build1_armhf.deb	2.0 MiB	07/26/2023 09:58:45 AM +00:00
libcoq-quickchick_2.0-2build1_ppc64el.deb	2.0 MiB	07/26/2023 09:58:50 AM +00:00
libcoq-quickchick_2.0-2build1_riscv64.deb	2.0 MiB	07/26/2023 10:30:50 AM +00:00
libcoq-quickchick_2.0-2build1_s390x.deb	2.0 MiB	07/26/2023 09:58:52 AM +00:00
quickchick_1.6.4-1_amd64.deb	62 KiB	08/22/2022 06:54:24 AM +00:00
quickchick_1.6.4-1_arm64.deb	62 KiB	08/22/2022 06:54:30 AM +00:00
quickchick_1.6.4-1_armhf.deb	62 KiB	08/22/2022 06:54:35 AM +00:00
quickchick_1.6.4-1_ppc64el.deb	62 KiB	08/22/2022 06:54:40 AM +00:00
quickchick_1.6.4-1_riscv64.deb	62 KiB	08/22/2022 07:19:15 AM +00:00
quickchick_1.6.4-1_s390x.deb	62 KiB	08/22/2022 07:19:16 AM +00:00
quickchick_2.0-2build1_amd64.deb	62 KiB	07/26/2023 09:58:43 AM +00:00
quickchick_2.0-2build1_arm64.deb	62 KiB	07/26/2023 09:58:45 AM +00:00
quickchick_2.0-2build1_armhf.deb	62 KiB	07/26/2023 09:58:45 AM +00:00
quickchick_2.0-2build1_ppc64el.deb	62 KiB	07/26/2023 09:58:50 AM +00:00
quickchick_2.0-2build1_riscv64.deb	62 KiB	07/26/2023 10:30:50 AM +00:00
quickchick_2.0-2build1_s390x.deb	62 KiB	07/26/2023 09:58:52 AM +00:00