Index of /pub/linux/ubuntu/pool/universe/c/coq-quickchick/

Filename	Modification time	Size
coq-quickchick_1.6.4-3build3.debian.tar.xz	2023-02-17 08:29 CET	2812 B
coq-quickchick_1.6.4-3build3.dsc	2023-02-17 08:29 CET	2260 B
coq-quickchick_1.6.4.orig.tar.gz	2022-08-15 13:39 CEST	379 KiB
coq-quickchick_2.0-2build1.debian.tar.xz	2023-07-24 19:37 CEST	2964 B
coq-quickchick_2.0-2build1.dsc	2023-07-24 19:37 CEST	2260 B
coq-quickchick_2.0.2-1build5.debian.tar.xz	2024-04-08 09:57 CEST	3300 B
coq-quickchick_2.0.2-1build5.dsc	2024-04-08 09:57 CEST	2353 B
coq-quickchick_2.0.2.orig.tar.gz	2024-01-21 00:35 CET	406 KiB
coq-quickchick_2.0.3-3build5.debian.tar.xz	2024-09-17 18:56 CEST	3008 B
coq-quickchick_2.0.3-3build5.dsc	2024-09-17 18:56 CEST	2274 B
coq-quickchick_2.0.3.orig.tar.gz	2024-05-02 13:53 CEST	402 KiB
coq-quickchick_2.0.orig.tar.gz	2023-06-15 01:24 CEST	400 KiB
libcoq-quickchick_1.6.4-3build3_amd64.deb	2023-02-17 08:29 CET	1780 KiB
libcoq-quickchick_2.0-2build1_amd64.deb	2023-07-26 11:58 CEST	2048 KiB
libcoq-quickchick_2.0.2-1build5_amd64.deb	2024-04-08 16:36 CEST	1905 KiB
libcoq-quickchick_2.0.3-3build5_amd64.deb	2024-09-20 01:39 CEST	4440 KiB
quickchick_1.6.4-3build3_amd64.deb	2023-02-17 08:29 CET	62 KiB
quickchick_2.0-2build1_amd64.deb	2023-07-26 11:58 CEST	62 KiB
quickchick_2.0.2-1build5_amd64.deb	2024-04-08 16:36 CEST	65 KiB
quickchick_2.0.3-3build5_amd64.deb	2024-09-20 01:39 CEST	517 KiB