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

../
coq-gappa_1.5.4-1build3.debian.tar.xz              04-Mar-2026 09:32    2396
coq-gappa_1.5.4-1build3.dsc                        04-Mar-2026 09:32    2151
coq-gappa_1.5.4.orig.tar.bz2                       04-Mar-2026 09:32     72K
libcoq-gappa_1.5.4-1build3_amd64.deb               04-Mar-2026 09:32    562K