Folder Path

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

0 directories 14 files 23 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
	libcoq-quickchick_2.1.0-1+b2_amd64.deb	4.1 MiB	06/15/2025 11:30:23 AM +00:00
	libcoq-quickchick_2.1.0-1+b2_arm64.deb	4.1 MiB	06/15/2025 11:35:28 AM +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
	quickchick_2.1.0-1+b2_amd64.deb	481 KiB	06/15/2025 11:30:23 AM +00:00
	quickchick_2.1.0-1+b2_arm64.deb	524 KiB	06/15/2025 11:35:28 AM +00:00