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

../
coq-hierarchy-builder_1.4.0-6+b3_ppc64.buildinfo   28-Aug-2023 09:03    7927
coq-hierarchy-builder_1.4.0-6+b3_ppc64.deb         28-Aug-2023 09:03    605K
libcoq-hierarchy-builder_1.4.0-6+b3_ppc64.deb      28-Aug-2023 09:03    237K