Index of /pureos/pool/main/c/coq-hierarchy-builder/

../
coq-hierarchy-builder_1.4.0-2+b6_amd64.deb         30-Apr-2023 07:30    605K
coq-hierarchy-builder_1.4.0-2+b6_arm64.deb         30-Apr-2023 07:30    605K
coq-hierarchy-builder_1.4.0-2.debian.tar.xz        29-Apr-2023 17:38    3132
coq-hierarchy-builder_1.4.0-2.dsc                  29-Apr-2023 17:38    2225
coq-hierarchy-builder_1.4.0.orig.tar.gz            29-Apr-2023 17:38    197K
libcoq-hierarchy-builder_1.4.0-2+b6_amd64.deb      30-Apr-2023 07:30    235K
libcoq-hierarchy-builder_1.4.0-2+b6_arm64.deb      30-Apr-2023 07:30    235K