/ubuntu/pool/universe/p/paramcoq/

File Name  ↓ File Size  ↓ Date  ↓ 
Parent directory/--
paramcoq_1.1.3+coq8.20.orig.tar.gz44.7 KiB20.11.2024 18:47
paramcoq_1.1.3+coq8.20-1.dsc2.1 KiB20.11.2024 18:47
paramcoq_1.1.3+coq8.20-1.debian.tar.xz3.1 KiB20.11.2024 18:47
paramcoq_1.1.3+coq8.19.orig.tar.gz44.8 KiB03.05.2024 01:49
paramcoq_1.1.3+coq8.19-2build2.dsc2.1 KiB07.09.2024 15:43
paramcoq_1.1.3+coq8.19-2build2.debian.tar.xz3.2 KiB07.09.2024 15:43
paramcoq_1.1.3+coq8.18.orig.tar.gz44.7 KiB22.12.2023 17:26
paramcoq_1.1.3+coq8.18-1build2.dsc2.1 KiB01.04.2024 05:43
paramcoq_1.1.3+coq8.18-1build2.debian.tar.xz3.2 KiB01.04.2024 05:43
libcoq-paramcoq_1.1.3+coq8.20-1_amd64.deb120.8 KiB20.11.2024 23:31
libcoq-paramcoq_1.1.3+coq8.19-2build2_amd64.deb121.1 KiB07.09.2024 15:44
libcoq-paramcoq_1.1.3+coq8.18-1build2_amd64.deb126.8 KiB01.04.2024 06:51