Miroir L@goon NC

Location:

Name	Last modified	Size	Description

Parent Directory		-
coq-quickchick_2.0.3-2.debian.tar.xz	2024-05-01 08:09	2.7K	TAR compressed archive
coq-quickchick_2.0.3-2.dsc	2024-05-01 08:09	2.2K
coq-quickchick_2.0.3-3.debian.tar.xz	2024-08-04 17:22	2.8K	TAR compressed archive
coq-quickchick_2.0.3-3.dsc	2024-08-04 17:22	2.0K
coq-quickchick_2.0.3.orig.tar.gz	2024-05-01 08:09	402K	GZIP compressed TAR archive
libcoq-quickchick_2.0.3-2+b1_armhf.deb	2024-06-16 00:17	3.1M
libcoq-quickchick_2.0.3-2+b2_amd64.deb	2024-06-16 00:06	3.1M
libcoq-quickchick_2.0.3-2+b2_arm64.deb	2024-06-16 02:18	3.1M
libcoq-quickchick_2.0.3-2+b2_i386.deb	2024-06-16 00:07	3.1M
libcoq-quickchick_2.0.3-3+b4_amd64.deb	2024-08-31 16:16	4.1M
libcoq-quickchick_2.0.3-3+b4_arm64.deb	2024-08-31 16:16	4.1M
libcoq-quickchick_2.0.3-3+b5_amd64.deb	2024-09-17 22:38	4.1M
libcoq-quickchick_2.0.3-3+b5_arm64.deb	2024-09-17 22:38	4.1M
quickchick_2.0.3-2+b1_armhf.deb	2024-06-16 00:17	377K
quickchick_2.0.3-2+b2_amd64.deb	2024-06-16 00:06	402K
quickchick_2.0.3-2+b2_arm64.deb	2024-06-16 02:18	446K
quickchick_2.0.3-2+b2_i386.deb	2024-06-16 00:07	394K
quickchick_2.0.3-3+b4_amd64.deb	2024-08-31 16:16	471K
quickchick_2.0.3-3+b4_arm64.deb	2024-08-31 16:16	513K
quickchick_2.0.3-3+b5_amd64.deb	2024-09-17 22:38	470K
quickchick_2.0.3-3+b5_arm64.deb	2024-09-17 22:38	513K