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

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