SGGS Mirror - 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-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.3-3build5.debian.tar.xz	2.9 KiB	09/17/2024 04:56:32 PM +00:00
coq-quickchick_2.0.3-3build5.dsc	2.2 KiB	09/17/2024 04:56:32 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-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_1.6.4-3build3_amd64.deb	1.7 MiB	02/17/2023 07:29:19 AM +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_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
libcoq-quickchick_2.0.3-3build5_amd64.deb	4.3 MiB	09/19/2024 11:39:49 PM +00:00
libcoq-quickchick_2.0.3-3build5_arm64.deb	4.4 MiB	09/19/2024 11:39:49 PM +00:00
libcoq-quickchick_2.0.3-3build5_ppc64el.deb	4.4 MiB	09/20/2024 04:15:37 AM +00:00
libcoq-quickchick_2.0.3-3build5_riscv64.deb	4.6 MiB	09/20/2024 10:37:15 AM +00:00
libcoq-quickchick_2.0.3-3build5_s390x.deb	4.3 MiB	09/19/2024 11:39:50 PM +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_1.6.4-3build3_amd64.deb	62 KiB	02/17/2023 07:29:19 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_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
quickchick_2.0.3-3build5_amd64.deb	517 KiB	09/19/2024 11:39:49 PM +00:00
quickchick_2.0.3-3build5_arm64.deb	590 KiB	09/19/2024 11:39:49 PM +00:00
quickchick_2.0.3-3build5_ppc64el.deb	576 KiB	09/20/2024 04:15:37 AM +00:00
quickchick_2.0.3-3build5_riscv64.deb	554 KiB	09/20/2024 10:37:15 AM +00:00
quickchick_2.0.3-3build5_s390x.deb	547 KiB	09/19/2024 11:39:50 PM +00:00

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-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.3-3build5.debian.tar.xz

2.9 KiB

09/17/2024 04:56:32 PM +00:00

coq-quickchick_2.0.3-3build5.dsc

2.2 KiB

09/17/2024 04:56:32 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-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_1.6.4-3build3_amd64.deb

1.7 MiB

02/17/2023 07:29:19 AM +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_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

libcoq-quickchick_2.0.3-3build5_amd64.deb

4.3 MiB

09/19/2024 11:39:49 PM +00:00

libcoq-quickchick_2.0.3-3build5_arm64.deb

4.4 MiB

09/19/2024 11:39:49 PM +00:00

libcoq-quickchick_2.0.3-3build5_ppc64el.deb

4.4 MiB

09/20/2024 04:15:37 AM +00:00

libcoq-quickchick_2.0.3-3build5_riscv64.deb

4.6 MiB

09/20/2024 10:37:15 AM +00:00

libcoq-quickchick_2.0.3-3build5_s390x.deb

4.3 MiB

09/19/2024 11:39:50 PM +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_1.6.4-3build3_amd64.deb

62 KiB

02/17/2023 07:29:19 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_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

quickchick_2.0.3-3build5_amd64.deb

517 KiB

09/19/2024 11:39:49 PM +00:00

quickchick_2.0.3-3build5_arm64.deb

590 KiB

09/19/2024 11:39:49 PM +00:00

quickchick_2.0.3-3build5_ppc64el.deb

576 KiB

09/20/2024 04:15:37 AM +00:00

quickchick_2.0.3-3build5_riscv64.deb

554 KiB

09/20/2024 10:37:15 AM +00:00

quickchick_2.0.3-3build5_s390x.deb

547 KiB

09/19/2024 11:39:50 PM +00:00