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

Filename	Modified	Size	Type
[Parent Directory]	-	-	-
coq-quickchick_2.0.2-1build5.debian.tar.xz	08/04/24 07:5708/04/24	3.2 KiB	[Save][Download]
coq-quickchick_2.0.5-1build6.dsc	19/02/25 07:5219/02/25	2.2 KiB	[Save][Download]
quickchick_2.1.0-1build4_amd64.deb	01/09/25 19:5201/09/25	529 KiB	[Save][Download]
libcoq-quickchick_2.0.5-1build6_amd64.deb	20/02/25 04:2020/02/25	4.3 MiB	[Save][Download]
quickchick_2.0.5-1build6_amd64.deb	20/02/25 04:2020/02/25	554 KiB	[Save][Download]
libcoq-quickchick_2.1.0-1.1build2_amd64v3.deb	06/11/25 20:0106/11/25	4.3 MiB	[Save][Download]
coq-quickchick_2.1.0-1build4.dsc	31/08/25 19:4231/08/25	2.2 KiB	[Save][Download]
coq-quickchick_2.0.5.orig.tar.gz	18/12/24 23:4118/12/24	403 KiB	[Save][Download]
coq-quickchick_2.1.0-1.1build2.debian.tar.xz	06/11/25 09:2006/11/25	3.1 KiB	[Save][Download]
quickchick_2.1.0-1.1build2_amd64.deb	06/11/25 20:0106/11/25	526 KiB	[Save][Download]
libcoq-quickchick_2.0.2-1build5_amd64.deb	08/04/24 14:3608/04/24	1.9 MiB	[Save][Download]
quickchick_2.0.2-1build5_amd64.deb	08/04/24 14:3608/04/24	65 KiB	[Save][Download]
libcoq-quickchick_2.1.0-1.1build2_amd64.deb	06/11/25 20:0106/11/25	4.3 MiB	[Save][Download]
coq-quickchick_2.1.0.orig.tar.gz	01/05/25 16:2301/05/25	405 KiB	[Save][Download]
coq-quickchick_2.1.0-1.1build2.dsc	06/11/25 09:2006/11/25	2.2 KiB	[Save][Download]
quickchick_2.1.0-1.1build2_amd64v3.deb	06/11/25 20:0106/11/25	526 KiB	[Save][Download]
coq-quickchick_2.0.2-1build5.dsc	08/04/24 07:5708/04/24	2.3 KiB	[Save][Download]
coq-quickchick_2.0.2.orig.tar.gz	20/01/24 23:3520/01/24	406 KiB	[Save][Download]
coq-quickchick_2.0.5-1build6.debian.tar.xz	19/02/25 07:5219/02/25	3 KiB	[Save][Download]
coq-quickchick_2.1.0-1build4.debian.tar.xz	31/08/25 19:4231/08/25	3 KiB	[Save][Download]
libcoq-quickchick_2.1.0-1build4_amd64.deb	01/09/25 19:5201/09/25	4.3 MiB	[Save][Download]