Index of /trisquel/packages/pool/main/p/paramcoq

	Name	Last modified	Size	Description
	Parent Directory		-
	paramcoq_1.1.3+coq8.18-1.dsc	2023-12-22 17:26	2.1K
	paramcoq_1.1.3+coq8.18-1build2.dsc	2024-04-01 05:43	2.1K
	paramcoq_1.1.3+coq8.18-1.debian.tar.xz	2023-12-22 17:26	3.0K
	paramcoq_1.1.3+coq8.18-1build2.debian.tar.xz	2024-04-01 05:43	3.2K
	paramcoq_1.1.3+coq8.18.orig.tar.gz	2023-12-22 17:26	45K
	libcoq-paramcoq_1.1.3+coq8.18-1build2_armhf.deb	2024-04-01 10:36	125K
	libcoq-paramcoq_1.1.3+coq8.18-1build2_amd64.deb	2024-04-01 06:51	127K
	libcoq-paramcoq_1.1.3+coq8.18-1build2_ppc64el.deb	2024-04-01 20:04	132K
	libcoq-paramcoq_1.1.3+coq8.18-1build2_riscv64.deb	2024-04-01 10:38	133K
	libcoq-paramcoq_1.1.3+coq8.18-1_armhf.deb	2023-12-23 00:12	144K
	libcoq-paramcoq_1.1.3+coq8.18-1build2_arm64.deb	2024-04-01 10:35	145K
	libcoq-paramcoq_1.1.3+coq8.18-1_amd64.deb	2023-12-23 00:12	146K
	libcoq-paramcoq_1.1.3+coq8.18-1_ppc64el.deb	2023-12-23 00:12	153K
	libcoq-paramcoq_1.1.3+coq8.18-1_riscv64.deb	2023-12-23 00:12	155K
	libcoq-paramcoq_1.1.3+coq8.18-1_arm64.deb	2023-12-23 00:12	173K