Folder Path

/debian/pool/main/c/coq-quickchick/

0 directories 16 files 15 MiB total

	Name	Size	Modified
	Up
	coq-quickchick_1.6.4-3.debian.tar.xz	2.7 KiB	01/27/2023 06:18:56 AM +00:00
	coq-quickchick_1.6.4-3.dsc	2.2 KiB	01/27/2023 06:18:56 AM +00:00
	coq-quickchick_1.6.4.orig.tar.gz	379 KiB	08/15/2022 06:38:36 AM +00:00
	coq-quickchick_2.1.0-1.debian.tar.xz	2.8 KiB	03/18/2025 12:33:51 PM +00:00
	coq-quickchick_2.1.0-1.dsc	2.2 KiB	03/18/2025 12:33:51 PM +00:00
	coq-quickchick_2.1.0.orig.tar.gz	405 KiB	03/18/2025 12:33:51 PM +00:00
	libcoq-quickchick_1.6.4-3+b1_amd64.deb	1.5 MiB	02/14/2023 06:11:16 AM +00:00
	libcoq-quickchick_1.6.4-3+b1_arm64.deb	1.5 MiB	02/14/2023 06:11:14 AM +00:00
	libcoq-quickchick_1.6.4-3+b1_i386.deb	1.5 MiB	02/14/2023 06:16:25 AM +00:00
	libcoq-quickchick_2.1.0-1+b1_amd64.deb	4.1 MiB	03/18/2025 05:39:19 PM +00:00
	libcoq-quickchick_2.1.0-1+b1_arm64.deb	4.1 MiB	03/18/2025 07:12:10 PM +00:00
	quickchick_1.6.4-3+b1_amd64.deb	54 KiB	02/14/2023 06:11:16 AM +00:00
	quickchick_1.6.4-3+b1_arm64.deb	54 KiB	02/14/2023 06:11:14 AM +00:00
	quickchick_1.6.4-3+b1_i386.deb	54 KiB	02/14/2023 06:16:25 AM +00:00
	quickchick_2.1.0-1+b1_amd64.deb	481 KiB	03/18/2025 05:39:19 PM +00:00
	quickchick_2.1.0-1+b1_arm64.deb	523 KiB	03/18/2025 07:12:10 PM +00:00