THE OPEN SOURCE NETWORK

paramcoq

/raspbian/pool/main/p/paramcoq/

Name ↑	Modified (UTC)	Size
Parent directory	—	—
libcoq-paramcoq_1.1.3+coq8.16-3+b2_armhf.deb	21 May 2023, 01:16	108.2 KiB
paramcoq_1.1.3+coq8.16-3.debian.tar.xz	25 Jan 2023, 09:03	2.8 KiB
paramcoq_1.1.3+coq8.16-3.dsc	25 Jan 2023, 09:03	2.1 KiB
paramcoq_1.1.3+coq8.16.orig.tar.gz	06 Sep 2022, 09:09	44.7 KiB
paramcoq_1.1.3+coq8.20-1.debian.tar.xz	20 Nov 2024, 10:02	3.1 KiB
paramcoq_1.1.3+coq8.20-1.dsc	20 Nov 2024, 10:02	2.1 KiB
paramcoq_1.1.3+coq8.20.orig.tar.gz	20 Nov 2024, 10:02	44.7 KiB