Unix-Solutions Logo

mirror.unix-solutions.be

hosted by Unix-Solutions

services: http, https, rsync

Index of /ubuntu/pool/universe/p/paramcoq

File Last Modified Size
📂 Parent Directory
📄 libcoq-paramcoq_1.1.3+coq8.18-1build2_amd64.deb2024-04-01 06:51:32126.78 KB
📄 libcoq-paramcoq_1.1.3+coq8.20-1build3_amd64.deb2025-02-18 21:25:33121.22 KB
📄 libcoq-paramcoq_1.1.3+coq8.20-1build4_amd64.deb2025-06-20 13:23:36120.89 KB
📄 libcoq-paramcoq_1.1.3+coq8.20-1build4_arm64.deb2025-06-20 13:24:42137.37 KB
📄 libcoq-paramcoq_1.1.3+coq8.20-1build7_amd64.deb2026-03-04 08:35:50120.49 KB
📄 libcoq-paramcoq_1.1.3+coq8.20-1build7_amd64v3.deb2026-03-04 08:35:51120.69 KB
📄 libcoq-paramcoq_1.1.3+coq8.20-1build7_arm64.deb2026-03-04 08:35:52137.19 KB
📄 paramcoq_1.1.3+coq8.18-1build2.debian.tar.xz2024-04-01 05:43:083.17 KB
📄 paramcoq_1.1.3+coq8.18-1build2.dsc2024-04-01 05:43:082.14 KB
📄 paramcoq_1.1.3+coq8.18.orig.tar.gz2023-12-22 17:26:5344.69 KB
📄 paramcoq_1.1.3+coq8.20-1build3.debian.tar.xz2025-02-18 21:25:063.3 KB
📄 paramcoq_1.1.3+coq8.20-1build3.dsc2025-02-18 21:25:062.06 KB
📄 paramcoq_1.1.3+coq8.20-1build4.debian.tar.xz2025-06-20 13:22:263.33 KB
📄 paramcoq_1.1.3+coq8.20-1build4.dsc2025-06-20 13:22:262.06 KB
📄 paramcoq_1.1.3+coq8.20-1build7.debian.tar.xz2026-03-04 08:35:003.42 KB
📄 paramcoq_1.1.3+coq8.20-1build7.dsc2026-03-04 08:35:012.06 KB
📄 paramcoq_1.1.3+coq8.20.orig.tar.gz2024-11-20 18:47:2044.74 KB