Index of /raspbian/pool/main/p/paramcoq

	Name	Last modified	Size	Description	Metadata
	Parent Directory		-
	libcoq-paramcoq_1.1.3+coq8.16-3+b2_armhf.deb	21-May-2023 01:16	108K		Details
	libcoq-paramcoq_1.1.3+coq8.18-1_armhf.deb	21-Feb-2024 10:08	108K		Details
	paramcoq_1.1.3+coq8.16-3.debian.tar.xz	25-Jan-2023 09:03	2.8K		Details
	paramcoq_1.1.3+coq8.16-3.dsc	25-Jan-2023 09:03	2.1K		Details
	paramcoq_1.1.3+coq8.16.orig.tar.gz	06-Sep-2022 09:09	45K		Details
	paramcoq_1.1.3+coq8.18-1.debian.tar.xz	22-Dec-2023 10:21	3.0K		Details
	paramcoq_1.1.3+coq8.18-1.dsc	22-Dec-2023 10:21	2.1K		Details
	paramcoq_1.1.3+coq8.18.orig.tar.gz	22-Dec-2023 10:21	45K		Details