The hardware and bandwidth for this mirror is donated by dogado GmbH, the Webhosting and Full Service-Cloud Provider. Check out our Wordpress Tutorial.
If you wish to report a bug, or if you are interested in having us mirror your free-software or open-source project, please feel free to contact us at mirror[@]dogado.de.

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

../
coq-hierarchy-builder_1.4.0-2+b6_amd64.deb         14-Feb-2023 10:29              619596
coq-hierarchy-builder_1.4.0-2+b6_arm64.deb         14-Feb-2023 10:29              619448
coq-hierarchy-builder_1.4.0-2+b6_i386.deb          14-Feb-2023 10:24              619660
coq-hierarchy-builder_1.4.0-2.debian.tar.xz        26-Oct-2022 07:06                3132
coq-hierarchy-builder_1.4.0-2.dsc                  26-Oct-2022 07:06                2225
coq-hierarchy-builder_1.4.0.orig.tar.gz            02-Oct-2022 19:51              201673
coq-hierarchy-builder_1.6.0-1+b1_amd64.deb         16-Feb-2024 12:38              662136
coq-hierarchy-builder_1.6.0-1+b1_arm64.deb         16-Feb-2024 12:12              662268
coq-hierarchy-builder_1.6.0-1+b1_i386.deb          16-Feb-2024 12:38              662160
coq-hierarchy-builder_1.6.0-1.debian.tar.xz        22-Dec-2023 11:07                3420
coq-hierarchy-builder_1.6.0-1.dsc                  22-Dec-2023 11:07                2225
coq-hierarchy-builder_1.6.0.orig.tar.gz            22-Dec-2023 11:07              202232
coq-hierarchy-builder_1.7.0-1.debian.tar.xz        26-Apr-2024 14:01                2764
coq-hierarchy-builder_1.7.0-1.dsc                  26-Apr-2024 14:01                2151
coq-hierarchy-builder_1.7.0.orig.tar.gz            26-Apr-2024 14:01              206720
libcoq-hierarchy-builder_1.4.0-2+b6_amd64.deb      14-Feb-2023 10:29              240132
libcoq-hierarchy-builder_1.4.0-2+b6_arm64.deb      14-Feb-2023 10:29              240136
libcoq-hierarchy-builder_1.4.0-2+b6_i386.deb       14-Feb-2023 10:24              240100
libcoq-hierarchy-builder_1.6.0-1+b1_amd64.deb      16-Feb-2024 12:38              244104
libcoq-hierarchy-builder_1.6.0-1+b1_arm64.deb      16-Feb-2024 12:12              243972
libcoq-hierarchy-builder_1.6.0-1+b1_i386.deb       16-Feb-2024 12:38              244000
libcoq-hierarchy-builder_1.7.0-1_amd64.deb         28-Apr-2024 15:11              264016
libcoq-hierarchy-builder_1.7.0-1_arm64.deb         28-Apr-2024 15:11              264032
libcoq-hierarchy-builder_1.7.0-1_i386.deb          28-Apr-2024 15:05              264016

These binaries (installable software) and packages are in development.
They may not be fully stable and should be used with caution. We make no claims about them.
Health stats visible at Monitor.