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 /ubuntu/pool/universe/c/coq-hierarchy-builder/

../
coq-hierarchy-builder_1.2.1-2.debian.tar.xz        14-Feb-2022 05:33                2732
coq-hierarchy-builder_1.2.1-2.dsc                  14-Feb-2022 05:33                2227
coq-hierarchy-builder_1.2.1-2_amd64.deb            14-Feb-2022 08:54              778196
coq-hierarchy-builder_1.2.1.orig.tar.gz            17-Jan-2022 23:14              188565
coq-hierarchy-builder_1.4.0-2build3.debian.tar.xz  16-Feb-2023 23:24                3228
coq-hierarchy-builder_1.4.0-2build3.dsc            16-Feb-2023 23:24                2224
coq-hierarchy-builder_1.4.0-2build3_amd64.deb      17-Feb-2023 02:34              776366
coq-hierarchy-builder_1.4.0.orig.tar.gz            06-Nov-2022 03:17              201673
coq-hierarchy-builder_1.6.0-1build5.debian.tar.xz  08-Apr-2024 07:57                3676
coq-hierarchy-builder_1.6.0-1build5.dsc            08-Apr-2024 07:57                2303
coq-hierarchy-builder_1.6.0-1build5_amd64.deb      08-Apr-2024 09:28              831476
coq-hierarchy-builder_1.6.0.orig.tar.gz            23-Dec-2023 17:16              202232
coq-hierarchy-builder_1.7.0-2build7.debian.tar.xz  17-Sep-2024 15:51                3048
coq-hierarchy-builder_1.7.0-2build7.dsc            17-Sep-2024 15:51                2150
coq-hierarchy-builder_1.7.0-2build8.debian.tar.xz  19-Nov-2024 19:49                3080
coq-hierarchy-builder_1.7.0-2build8.dsc            19-Nov-2024 19:49                2150
coq-hierarchy-builder_1.7.0-2build9.debian.tar.xz  21-Nov-2024 07:16                3088
coq-hierarchy-builder_1.7.0-2build9.dsc            21-Nov-2024 07:16                2150
coq-hierarchy-builder_1.7.0.orig.tar.gz            02-May-2024 11:53              206720
libcoq-hierarchy-builder_1.2.1-2_amd64.deb         14-Feb-2022 08:54              246620
libcoq-hierarchy-builder_1.4.0-2build3_amd64.deb   17-Feb-2023 02:34              263740
libcoq-hierarchy-builder_1.6.0-1build5_amd64.deb   08-Apr-2024 09:28              267808
libcoq-hierarchy-builder_1.7.0-2build7_amd64.deb   19-Sep-2024 19:15              287630
libcoq-hierarchy-builder_1.7.0-2build8_amd64.deb   19-Nov-2024 20:45              287538
libcoq-hierarchy-builder_1.7.0-2build9_amd64.deb   21-Nov-2024 08:16              261752

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.