Index of /ubuntu/pool/universe/c/coq-unicoq/

../
coq-unicoq_1.6-8.18-1build3.debian.tar.xz          06-May-2024 18:58    2792
coq-unicoq_1.6-8.18-1build3.dsc                    06-May-2024 18:58    2172
coq-unicoq_1.6-8.18.orig.tar.gz                    06-May-2024 18:58    580K
libcoq-unicoq_1.6-8.18-1build3_amd64.deb           06-May-2024 18:58     86K