Index of /ubuntu/pool/universe/c/coq-hierarchy-builder/

../
coq-hierarchy-builder_1.6.0-1build5.debian.tar.xz  04-Mar-2026 09:32    3676
coq-hierarchy-builder_1.6.0-1build5.dsc            04-Mar-2026 09:32    2303
coq-hierarchy-builder_1.6.0-1build5_amd64.deb      04-Mar-2026 09:32    812K
coq-hierarchy-builder_1.6.0.orig.tar.gz            04-Mar-2026 09:32    197K
coq-hierarchy-builder_1.8.1-1build14.debian.tar.xz 22-Jul-2026 18:38    3200
coq-hierarchy-builder_1.8.1-1build14.dsc           22-Jul-2026 18:38    2154
coq-hierarchy-builder_1.8.1.orig.tar.gz            22-Jul-2026 18:38    210K
libcoq-hierarchy-builder_1.6.0-1build5_amd64.deb   04-Mar-2026 09:32    262K
libcoq-hierarchy-builder_1.8.1-1build14_amd64.deb  22-Jul-2026 18:38    674K