uk-mirror.onlyservers.com
Sync healthy Servers, Bandwidth and storage provided by OnlyServers UK Browse

Index of /ubuntu/pool/universe/c/coq-hott/

Show dotfiles
Name
Last modified
Size
../
-
-
coq-hott_8.18-3build4.debian.tar.xz
08-Apr-2024 07:57
3.05 KB
coq-hott_8.18-3build4.dsc
08-Apr-2024 07:57
2.06 KB
coq-hott_8.18.orig.tar.gz
04-Sep-2023 08:09
888.02 KB
coq-hott_9.0-1build1.debian.tar.xz
18-Feb-2025 21:25
3.02 KB
coq-hott_9.0-1build1.dsc
18-Feb-2025 21:25
1.98 KB
coq-hott_9.0-1build2.debian.tar.xz
20-Jun-2025 13:22
3.09 KB
coq-hott_9.0-1build2.dsc
20-Jun-2025 13:22
1.98 KB
coq-hott_9.0-1build3.debian.tar.xz
05-Jan-2026 20:02
3.1 KB
coq-hott_9.0-1build3.dsc
05-Jan-2026 20:02
1.98 KB
coq-hott_9.0-1build5.debian.tar.xz
03-Mar-2026 21:25
3.16 KB
coq-hott_9.0-1build5.dsc
03-Mar-2026 21:25
1.98 KB
coq-hott_9.0.orig.tar.gz
18-Feb-2025 01:39
1.07 MB
libcoq-hott_8.18-3build4_amd64.deb
08-Apr-2024 07:57
13.79 MB
libcoq-hott_9.0-1build1_amd64.deb
18-Feb-2025 21:25
16.15 MB
libcoq-hott_9.0-1build2_amd64.deb
20-Jun-2025 13:23
16.1 MB
libcoq-hott_9.0-1build3_amd64.deb
05-Jan-2026 20:07
16.1 MB
libcoq-hott_9.0-1build3_amd64v3.deb
05-Jan-2026 20:07
16.1 MB
libcoq-hott_9.0-1build5_amd64.deb
03-Mar-2026 21:26
16.1 MB
libcoq-hott_9.0-1build5_amd64v3.deb
03-Mar-2026 21:26
16.1 MB