Index of /ubuntu/pool/universe/c/coq-hott
Name Last modified Size Description
Parent Directory -
coq-hott_8.16.orig.t..> 06-Nov-2022 03:17 848K
coq-hott_8.16-2build..> 16-Feb-2023 18:50 2.6K
coq-hott_8.16-2build..> 16-Feb-2023 18:50 2.0K
libcoq-hott_8.16-2bu..> 16-Feb-2023 18:50 16M
coq-hott_8.18-1.dsc 04-Sep-2023 08:09 2.0K
coq-hott_8.18.orig.t..> 04-Sep-2023 08:09 888K
coq-hott_8.18-1.debi..> 04-Sep-2023 08:09 2.8K
libcoq-hott_8.18-1_a..> 04-Sep-2023 08:50 16M
coq-hott_8.18-3build..> 08-Apr-2024 07:57 3.1K
coq-hott_8.18-3build..> 08-Apr-2024 07:57 2.1K
libcoq-hott_8.18-3bu..> 08-Apr-2024 07:57 14M
coq-hott_8.19.orig.t..> 02-May-2024 11:53 961K
coq-hott_8.19-1build..> 13-May-2024 18:39 2.9K
coq-hott_8.19-1build..> 13-May-2024 18:39 2.0K
libcoq-hott_8.19-1bu..> 13-May-2024 18:40 15M
Apache Server at mirrors.advancedhosters.com Port 80