coq-quickchick

Name	Size	Modified
Up
coq-quickchick_1.6.4-3build3.debian.tar.xz	2.7 KiB	02/17/2023 07:29:10 AM +00:00
coq-quickchick_1.6.4-3build3.dsc	2.2 KiB	02/17/2023 07:29:10 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.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.3-3.debian.tar.xz	2.8 KiB	08/04/2024 11:34:02 AM +00:00
coq-quickchick_2.0.3-3.dsc	2.0 KiB	08/04/2024 11:34:02 AM +00:00
coq-quickchick_2.0.3-3build1.debian.tar.xz	2.8 KiB	08/09/2024 01:49:20 PM +00:00
coq-quickchick_2.0.3-3build1.dsc	2.2 KiB	08/09/2024 01:49:20 PM +00:00
coq-quickchick_2.0.3.orig.tar.gz	402 KiB	05/02/2024 11:53:14 AM +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-3build3_arm64.deb	1.8 MiB	02/17/2023 07:29:23 AM +00:00
libcoq-quickchick_1.6.4-3build3_armhf.deb	1.7 MiB	02/17/2023 07:29:25 AM +00:00
libcoq-quickchick_1.6.4-3build3_ppc64el.deb	1.7 MiB	02/17/2023 07:29:26 AM +00:00
libcoq-quickchick_1.6.4-3build3_riscv64.deb	1.7 MiB	02/17/2023 08:33:57 AM +00:00
libcoq-quickchick_1.6.4-3build3_s390x.deb	1.8 MiB	02/17/2023 07:29:27 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
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.3-3_arm64.deb	3.8 MiB	08/05/2024 02:54:06 AM +00:00
libcoq-quickchick_2.0.3-3_armhf.deb	3.8 MiB	08/05/2024 02:54:06 AM +00:00
libcoq-quickchick_2.0.3-3_ppc64el.deb	3.8 MiB	08/05/2024 02:54:07 AM +00:00
libcoq-quickchick_2.0.3-3_riscv64.deb	4.0 MiB	08/05/2024 12:09:56 PM +00:00
libcoq-quickchick_2.0.3-3_s390x.deb	3.8 MiB	08/05/2024 02:54:07 AM +00:00
quickchick_1.6.4-3build3_arm64.deb	62 KiB	02/17/2023 07:29:23 AM +00:00
quickchick_1.6.4-3build3_armhf.deb	62 KiB	02/17/2023 07:29:25 AM +00:00
quickchick_1.6.4-3build3_ppc64el.deb	62 KiB	02/17/2023 07:29:26 AM +00:00
quickchick_1.6.4-3build3_riscv64.deb	62 KiB	02/17/2023 08:33:57 AM +00:00
quickchick_1.6.4-3build3_s390x.deb	62 KiB	02/17/2023 07:29:27 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
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.3-3_arm64.deb	520 KiB	08/05/2024 02:54:06 AM +00:00
quickchick_2.0.3-3_armhf.deb	424 KiB	08/05/2024 02:54:06 AM +00:00
quickchick_2.0.3-3_ppc64el.deb	507 KiB	08/05/2024 02:54:07 AM +00:00
quickchick_2.0.3-3_riscv64.deb	462 KiB	08/05/2024 12:09:56 PM +00:00
quickchick_2.0.3-3_s390x.deb	464 KiB	08/05/2024 02:54:07 AM +00:00