coq-quickchick

Name	Size	Modified
Up
coq-quickchick_2.0.2-1build5.debian.tar.xz	3.2 KiB	04/08/2024 07:57:38 AM +00:00
coq-quickchick_2.0.2-1build5.dsc	2.3 KiB	04/08/2024 07:57:38 AM +00:00
coq-quickchick_2.0.2.orig.tar.gz	406 KiB	01/20/2024 11:35:34 PM +00:00
coq-quickchick_2.0.5-1build6.debian.tar.xz	3.0 KiB	02/19/2025 07:52:06 AM +00:00
coq-quickchick_2.0.5-1build6.dsc	2.2 KiB	02/19/2025 07:52:06 AM +00:00
coq-quickchick_2.0.5.orig.tar.gz	403 KiB	12/18/2024 11:41:43 PM +00:00
coq-quickchick_2.1.0-1.1build2.debian.tar.xz	3.1 KiB	11/06/2025 09:20:08 AM +00:00
coq-quickchick_2.1.0-1.1build2.dsc	2.2 KiB	11/06/2025 09:20:08 AM +00:00
coq-quickchick_2.1.0-1build4.debian.tar.xz	3.0 KiB	08/31/2025 07:42:09 PM +00:00
coq-quickchick_2.1.0-1build4.dsc	2.2 KiB	08/31/2025 07:42:09 PM +00:00
coq-quickchick_2.1.0.orig.tar.gz	405 KiB	05/01/2025 04:23:25 PM +00:00
libcoq-quickchick_2.0.2-1build5_arm64.deb	1.9 MiB	04/08/2024 02:36:32 PM +00:00
libcoq-quickchick_2.0.2-1build5_armhf.deb	1.9 MiB	04/08/2024 02:36:34 PM +00:00
libcoq-quickchick_2.0.2-1build5_ppc64el.deb	1.9 MiB	04/08/2024 02:36:35 PM +00:00
libcoq-quickchick_2.0.2-1build5_riscv64.deb	1.9 MiB	04/09/2024 07:00:05 AM +00:00
libcoq-quickchick_2.0.2-1build5_s390x.deb	1.9 MiB	04/08/2024 02:36:36 PM +00:00
libcoq-quickchick_2.0.5-1build6_arm64.deb	4.3 MiB	02/20/2025 03:13:33 PM +00:00
libcoq-quickchick_2.0.5-1build6_ppc64el.deb	4.3 MiB	02/20/2025 04:20:48 AM +00:00
libcoq-quickchick_2.0.5-1build6_riscv64.deb	4.5 MiB	02/20/2025 08:17:03 PM +00:00
libcoq-quickchick_2.0.5-1build6_s390x.deb	4.3 MiB	02/20/2025 04:21:33 AM +00:00
libcoq-quickchick_2.1.0-1.1build2_arm64.deb	4.3 MiB	11/06/2025 08:02:07 PM +00:00
libcoq-quickchick_2.1.0-1.1build2_ppc64el.deb	4.3 MiB	11/06/2025 08:02:32 PM +00:00
libcoq-quickchick_2.1.0-1.1build2_riscv64.deb	4.5 MiB	11/07/2025 05:43:59 PM +00:00
libcoq-quickchick_2.1.0-1.1build2_s390x.deb	4.3 MiB	11/06/2025 11:09:37 PM +00:00
libcoq-quickchick_2.1.0-1build4_arm64.deb	4.3 MiB	09/01/2025 07:52:30 PM +00:00
libcoq-quickchick_2.1.0-1build4_ppc64el.deb	4.3 MiB	09/01/2025 07:52:33 PM +00:00
libcoq-quickchick_2.1.0-1build4_riscv64.deb	4.5 MiB	09/02/2025 06:16:27 PM +00:00
libcoq-quickchick_2.1.0-1build4_s390x.deb	4.3 MiB	09/01/2025 07:52:36 PM +00:00
quickchick_2.0.2-1build5_arm64.deb	65 KiB	04/08/2024 02:36:32 PM +00:00
quickchick_2.0.2-1build5_armhf.deb	65 KiB	04/08/2024 02:36:34 PM +00:00
quickchick_2.0.2-1build5_ppc64el.deb	65 KiB	04/08/2024 02:36:35 PM +00:00
quickchick_2.0.2-1build5_riscv64.deb	65 KiB	04/09/2024 07:00:04 AM +00:00
quickchick_2.0.2-1build5_s390x.deb	65 KiB	04/08/2024 02:36:36 PM +00:00
quickchick_2.0.5-1build6_arm64.deb	602 KiB	02/20/2025 03:13:33 PM +00:00
quickchick_2.0.5-1build6_ppc64el.deb	591 KiB	02/20/2025 04:20:48 AM +00:00
quickchick_2.0.5-1build6_riscv64.deb	566 KiB	02/20/2025 08:17:02 PM +00:00
quickchick_2.0.5-1build6_s390x.deb	559 KiB	02/20/2025 04:21:33 AM +00:00
quickchick_2.1.0-1.1build2_arm64.deb	599 KiB	11/06/2025 08:02:07 PM +00:00
quickchick_2.1.0-1.1build2_ppc64el.deb	587 KiB	11/06/2025 08:02:32 PM +00:00
quickchick_2.1.0-1.1build2_riscv64.deb	564 KiB	11/07/2025 05:43:59 PM +00:00
quickchick_2.1.0-1.1build2_s390x.deb	556 KiB	11/06/2025 11:09:37 PM +00:00
quickchick_2.1.0-1build4_arm64.deb	602 KiB	09/01/2025 07:52:30 PM +00:00
quickchick_2.1.0-1build4_ppc64el.deb	590 KiB	09/01/2025 07:52:33 PM +00:00
quickchick_2.1.0-1build4_riscv64.deb	567 KiB	09/02/2025 06:16:27 PM +00:00
quickchick_2.1.0-1build4_s390x.deb	559 KiB	09/01/2025 07:52:35 PM +00:00