Index of /debian-ports/pool-hurd-i386/main/c/coq-hierarchy-builder/

../
coq-hierarchy-builder_1.2.1-11_hurd-i386.buildinfo 13-Jun-2022 21:03    7648
coq-hierarchy-builder_1.2.1-11_hurd-i386.deb       13-Jun-2022 21:03    605K
libcoq-hierarchy-builder_1.2.1-11_hurd-i386.deb    13-Jun-2022 21:03    214K