Index of /debian/pool/main/c/coq-hott/

File Name  ↓ File Size  ↓ Date  ↓ 
Parent directory/--
coq-hott_8.16-2.debian.tar.xz2.5 KiB2023-01-25 10:12
coq-hott_8.16-2.dsc2.0 KiB2023-01-25 10:12
coq-hott_8.16.orig.tar.gz847.8 KiB2022-09-06 12:09
coq-hott_9.0-1.debian.tar.xz2.9 KiB2025-02-17 19:37
coq-hott_9.0-1.dsc2.0 KiB2025-02-17 19:37
coq-hott_9.0-3.debian.tar.xz16.7 KiB2025-11-11 20:40
coq-hott_9.0-3.dsc2.0 KiB2025-11-11 20:40
coq-hott_9.0.orig.tar.gz1.1 MiB2025-02-17 19:37
coq-hott_9.1-1.debian.tar.xz2.7 KiB2026-07-10 17:43
coq-hott_9.1-1.dsc2.0 KiB2026-07-10 17:43
coq-hott_9.1.orig.tar.gz1.1 MiB2026-07-10 17:43
libcoq-hott_8.16-2+b1_amd64.deb13.5 MiB2023-02-13 08:27
libcoq-hott_8.16-2+b1_arm64.deb13.4 MiB2023-02-13 08:26
libcoq-hott_8.16-2+b1_armhf.deb13.4 MiB2023-02-13 08:27
libcoq-hott_8.16-2+b1_i386.deb13.4 MiB2023-02-13 08:26
libcoq-hott_8.16-2+b1_ppc64el.deb13.4 MiB2023-02-13 08:26
libcoq-hott_9.0-1+b2_amd64.deb14.0 MiB2025-06-15 13:49
libcoq-hott_9.0-1+b2_arm64.deb14.0 MiB2025-06-15 13:49
libcoq-hott_9.0-1+b2_ppc64el.deb14.0 MiB2025-06-15 13:49
libcoq-hott_9.0-1+b2_riscv64.deb14.0 MiB2025-06-15 14:25
libcoq-hott_9.0-1+b4_ppc64el.deb14.0 MiB2026-06-20 17:50
libcoq-hott_9.0-1+b4_riscv64.deb14.0 MiB2026-06-22 09:59
libcoq-hott_9.0-1+b5_amd64.deb14.0 MiB2026-06-20 17:50
libcoq-hott_9.0-1+b5_arm64.deb14.0 MiB2026-06-20 17:50
libcoq-hott_9.0-3+b1_amd64.deb14.0 MiB2026-02-11 13:00
libcoq-hott_9.0-3_arm64.deb14.0 MiB2026-02-11 13:10
libcoq-hott_9.0-3_armhf.deb14.0 MiB2026-02-11 13:25
libcoq-hott_9.0-3_i386.deb14.0 MiB2026-02-11 14:01
libcoq-hott_9.0-3_ppc64el.deb14.0 MiB2026-02-11 12:55
libcoq-hott_9.1-1_amd64.deb14.4 MiB2026-07-10 17:43
libcoq-hott_9.1-1_arm64.deb14.4 MiB2026-07-10 18:03
libcoq-hott_9.1-1_armhf.deb14.4 MiB2026-07-10 18:08
libcoq-hott_9.1-1_i386.deb14.4 MiB2026-07-10 18:13
libcoq-hott_9.1-1_loong64.deb14.4 MiB2026-07-10 18:23
libcoq-hott_9.1-1_ppc64el.deb14.4 MiB2026-07-10 18:03
VOLIA MIRROR — Kyiv, Ukraine

VOLIA MIRROR (Kyiv, Ukraine)

Public mirror infrastructure • High-bandwidth access over IPv4/IPv6

Volia Mirror mirror.volia.net Ubuntu ubuntu.volia.net Debian debian.volia.net Rocky Linux rockylinux.volia.net PVE Packages unofficial mirror Contact Ihor Barabash

Mirrored projects

Service

Bandwidth
20 Gbps
Protocols
IPv4, IPv6
Access
Troubleshooting
Report issues to:
ihor dot barabash at outlook dot com
VOLIA MIRROR • Kyiv, Ukraine
Proxmox VE® is a trademark of Proxmox Server Solutions GmbH.
This service is an unofficial public mirror of the Proxmox VE no-subscription repository distributed under the pve.volia.net domain.
This mirror is operated independently and is not affiliated with, sponsored by, or endorsed by Proxmox Server Solutions GmbH.