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

	Name	Last modified	Size	Description
	Parent Directory		-
	coq-quickchick_1.6.4-1.debian.tar.xz	15-Aug-2022 09:39	2.6K
	coq-quickchick_1.6.4-1.dsc	15-Aug-2022 09:39	2.2K
	coq-quickchick_1.6.4-3.debian.tar.xz	27-Jan-2023 08:55	2.7K
	coq-quickchick_1.6.4-3.dsc	27-Jan-2023 08:55	2.2K
	coq-quickchick_1.6.4.orig.tar.gz	15-Aug-2022 09:39	379K
	libcoq-quickchick_1.6.4-1_amd64.deb	22-Aug-2022 04:54	1.7M
	libcoq-quickchick_1.6.4-3_amd64.deb	27-Jan-2023 08:55	1.7M
	quickchick_1.6.4-1_amd64.deb	22-Aug-2022 04:54	62K
	quickchick_1.6.4-3_amd64.deb	27-Jan-2023 08:55	62K