Index of /trisquel/pool/main/c/coq-quickchick

	Name	Last modified	Size	Description
	Parent Directory		-
	coq-quickchick_2.0.2.orig.tar.gz	2024-01-20 18:35	406K
	coq-quickchick_2.0.2-1build2.debian.tar.xz	2024-02-16 19:37	3.1K
	coq-quickchick_2.0.2-1build2.dsc	2024-02-16 19:37	2.2K
	libcoq-quickchick_2.0.2-1build2_amd64.deb	2024-02-17 10:52	1.9M
	quickchick_2.0.2-1build2_amd64.deb	2024-02-17 10:52	65K
	libcoq-quickchick_2.0.2-1build2_ppc64el.deb	2024-02-17 10:52	1.9M
	quickchick_2.0.2-1build2_armhf.deb	2024-02-17 10:52	65K
	quickchick_2.0.2-1build2_ppc64el.deb	2024-02-17 10:52	65K
	quickchick_2.0.2-1build2_arm64.deb	2024-02-17 11:32	65K
	quickchick_2.0.2-1build2_riscv64.deb	2024-02-17 23:37	65K
	libcoq-quickchick_2.0.2-1build2_arm64.deb	2024-03-29 20:45	1.9M
	libcoq-quickchick_2.0.2-1build2_armhf.deb	2024-03-29 20:53	1.9M
	libcoq-quickchick_2.0.2-1build2_riscv64.deb	2024-03-29 21:18	1.9M
	coq-quickchick_2.0.2-1build5.debian.tar.xz	2024-04-08 03:57	3.2K
	coq-quickchick_2.0.2-1build5.dsc	2024-04-08 03:57	2.3K
	libcoq-quickchick_2.0.2-1build5_amd64.deb	2024-04-08 10:36	1.9M
	quickchick_2.0.2-1build5_amd64.deb	2024-04-08 10:36	65K
	libcoq-quickchick_2.0.2-1build5_arm64.deb	2024-04-08 10:36	1.9M
	quickchick_2.0.2-1build5_arm64.deb	2024-04-08 10:36	65K
	libcoq-quickchick_2.0.2-1build5_armhf.deb	2024-04-08 10:36	1.9M
	quickchick_2.0.2-1build5_armhf.deb	2024-04-08 10:36	65K
	libcoq-quickchick_2.0.2-1build5_ppc64el.deb	2024-04-08 10:36	1.9M
	quickchick_2.0.2-1build5_ppc64el.deb	2024-04-08 10:36	65K
	quickchick_2.0.2-1build5_riscv64.deb	2024-04-09 03:00	65K
	libcoq-quickchick_2.0.2-1build5_riscv64.deb	2024-04-09 03:00	1.9M