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

---

../
coq-hierarchy-builder_1.2.1-2.debian.tar.xz        14-Feb-2022 07:33    2732
coq-hierarchy-builder_1.2.1-2.dsc                  14-Feb-2022 07:33    2227
coq-hierarchy-builder_1.2.1-2_amd64.deb            14-Feb-2022 10:54    760K
coq-hierarchy-builder_1.2.1.orig.tar.gz            18-Jan-2022 01:14    184K
coq-hierarchy-builder_1.6.0-1build5.debian.tar.xz  08-Apr-2024 09:57    3676
coq-hierarchy-builder_1.6.0-1build5.dsc            08-Apr-2024 09:57    2303
coq-hierarchy-builder_1.6.0-1build5_amd64.deb      08-Apr-2024 11:28    812K
coq-hierarchy-builder_1.6.0.orig.tar.gz            23-Dec-2023 19:16    197K
coq-hierarchy-builder_1.8.1-1build14.debian.tar.xz 04-Mar-2026 19:33    3200
coq-hierarchy-builder_1.8.1-1build14.dsc           04-Mar-2026 19:33    2154
coq-hierarchy-builder_1.8.1-1build2.debian.tar.xz  19-Feb-2025 09:52    2984
coq-hierarchy-builder_1.8.1-1build2.dsc            19-Feb-2025 09:52    2150
coq-hierarchy-builder_1.8.1-1build6.debian.tar.xz  31-Aug-2025 21:42    3064
coq-hierarchy-builder_1.8.1-1build6.dsc            31-Aug-2025 21:42    2150
coq-hierarchy-builder_1.8.1.orig.tar.gz            18-Feb-2025 03:39    210K
libcoq-hierarchy-builder_1.2.1-2_amd64.deb         14-Feb-2022 10:54    241K
libcoq-hierarchy-builder_1.6.0-1build5_amd64.deb   08-Apr-2024 11:28    262K
libcoq-hierarchy-builder_1.8.1-1build14_amd64.deb  04-Mar-2026 19:34    674K
libcoq-hierarchy-builder_1.8.1-1build14_amd64v3..> 04-Mar-2026 19:34    674K
libcoq-hierarchy-builder_1.8.1-1build14_arm64.deb  04-Mar-2026 19:34    674K
libcoq-hierarchy-builder_1.8.1-1build2_amd64.deb   19-Feb-2025 09:53    674K
libcoq-hierarchy-builder_1.8.1-1build6_amd64.deb   01-Sep-2025 09:27    674K
libcoq-hierarchy-builder_1.8.1-1build6_arm64.deb   01-Sep-2025 09:27    674K

---

This mirror is provided by University of Trieste - rete@units.it

NO WARRANTY

THIS MIRROR IS PROVIDED "AS IS" WITHOUT WARRANTY OF ANY KIND, EITHER EXPRESSED OR IMPLIED, INCLUDING, BUT NOT LIMITED TO, THE IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR PURPOSE. THE ENTIRE RISK AS TO THE QUALITY AND PERFORMANCE OF THE MIRROR IS WITH YOU. SHOULD THE MIRROR PROVE DEFECTIVE, YOU ASSUME THE COST OF ALL NECESSARY SERVICING, REPAIR OR CORRECTION.

IN NO EVENT UNLESS REQUIRED BY APPLICABLE LAW OR AGREED TO IN WRITING WILL UNIVERSITY OF TRIESTE OR ANY PEOPLE INVLOLVED IN SERVICING THE MIRROR BE LIABLE TO YOU FOR DAMAGES, INCLUDING ANY GENERAL, SPECIAL, INCIDENTAL OR CONSEQUENTIAL DAMAGES ARISING OUT OF THE USE OR INABILITY TO USE THE MIRROR (INCLUDING BUT NOT LIMITED TO LOSS OF DATA OR DATA BEING RENDERED INACCURATE OR LOSSES SUSTAINED BY YOU OR THIRD PARTIES OR A FAILURE OF THE PROGRAM TO OPERATE WITH ANY OTHER PROGRAMS), EVEN IF UNIVERSITY OF TRIESTE AND PEOPLE INVLOLVED IN SERVICING THE MIRROR HAS BEEN ADVISED OF THE POSSIBILITY OF SUCH DAMAGES.