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

../
coq-hierarchy-builder_1.2.1-2.debian.tar.xz        27-Aug-2023 02:19                2732
coq-hierarchy-builder_1.2.1-2.dsc                  27-Aug-2023 02:19                2227
coq-hierarchy-builder_1.2.1-2_amd64.deb            27-Aug-2023 02:19              778196
coq-hierarchy-builder_1.2.1.orig.tar.gz            27-Aug-2023 02:19              188565
coq-hierarchy-builder_1.6.0-1build5.debian.tar.xz  10-Apr-2024 11:11                3676
coq-hierarchy-builder_1.6.0-1build5.dsc            10-Apr-2024 11:11                2303
coq-hierarchy-builder_1.6.0-1build5_amd64.deb      10-Apr-2024 11:11              831476
coq-hierarchy-builder_1.6.0.orig.tar.gz            30-Jan-2024 05:04              202232
libcoq-hierarchy-builder_1.2.1-2_amd64.deb         27-Aug-2023 02:19              246620
libcoq-hierarchy-builder_1.6.0-1build5_amd64.deb   10-Apr-2024 11:11              267808