Folder Path

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

0 directories 10 files 14 MiB total

	Name	Size	Modified
	Up
	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