Index of /debian/pool/main/c/coq-serapi/
File Name
↓
File Size
↓
Date
↓
Parent directory/
-
-
libcoq-serapi-ocaml-dev_8.20.0+0.20.0-1+b4_riscv64.deb
18.4 MiB
2025-06-15 08:23
coq-serapi_8.20.0+0.20.0-1+b4_riscv64.deb
30.7 MiB
2025-06-15 08:23
libcoq-serapi-ocaml_8.20.0+0.20.0-1+b4_riscv64.deb
6.3 MiB
2025-06-15 08:23
coq-serapi_8.20.0+0.20.0-1+b4_ppc64el.deb
29.6 MiB
2025-06-15 08:18
libcoq-serapi-ocaml_8.20.0+0.20.0-1+b4_ppc64el.deb
6.1 MiB
2025-06-15 08:18
libcoq-serapi-ocaml-dev_8.20.0+0.20.0-1+b4_ppc64el.deb
16.9 MiB
2025-06-15 08:18
libcoq-serapi-ocaml_8.20.0+0.20.0-1+b4_arm64.deb
6.3 MiB
2025-06-15 07:38
libcoq-serapi-ocaml-dev_8.20.0+0.20.0-1+b4_arm64.deb
16.8 MiB
2025-06-15 07:38
coq-serapi_8.20.0+0.20.0-1+b4_arm64.deb
34.4 MiB
2025-06-15 07:38
coq-serapi_8.20.0+0.20.0-1+b4_amd64.deb
29.6 MiB
2025-06-15 03:53
libcoq-serapi-ocaml-dev_8.20.0+0.20.0-1+b4_amd64.deb
16.6 MiB
2025-06-15 03:53
libcoq-serapi-ocaml_8.20.0+0.20.0-1+b4_amd64.deb
6.1 MiB
2025-06-15 03:53
coq-serapi_8.20.0+0.20.0.orig.tar.gz
178.2 KiB
2024-11-20 11:57
coq-serapi_8.20.0+0.20.0-1.dsc
2.4 KiB
2024-11-20 11:57
coq-serapi_8.20.0+0.20.0-1.debian.tar.xz
8.9 KiB
2024-11-20 11:57
VOLIA MIRROR — Kyiv, Ukraine
VOLIA MIRROR (Kyiv, Ukraine)
Official public mirror • High-bandwidth access over IPv4/IPv6
Volia Mirror
mirror.volia.net
Ubuntu
ubuntu.volia.net
Debian
debian.volia.net
Rocky Linux
rockylinux.volia.net
Contact
Ihor Barabash
Mirrored projects
Ubuntu
— hourly
http://ubuntu.volia.net/
http://ua.archive.ubuntu.com/
(official alias)
http://ua.releases.ubuntu.com/
(official releases alias)
Debian
— hourly
http://debian.volia.net/
Rocky Linux
— hourly
http://rockylinux.volia.net/
Service
Bandwidth
20 Gbps
Protocols
IPv4, IPv6
Access
http://mirror.volia.net/
https://mirror.volia.net/
Troubleshooting
Report issues to:
ihor dot barabash at outlook dot com
VOLIA MIRROR
•
Kyiv, Ukraine