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

	Name	Last modified	Size	Description

	Parent Directory		-
	coq-serapi_8.20.0+0.20.0-1+b2_amd64.deb	2025-02-13 06:22	30M
	libcoq-serapi-ocaml-dev_8.20.0+0.20.0-1+b2_amd64.deb	2025-02-13 06:22	17M
	libcoq-serapi-ocaml_8.20.0+0.20.0-1+b2_amd64.deb	2025-02-13 06:22	6.1M

NetClub mirror

Tükrözött repository-k:

Distro	Link	Frissítés
AlmaLinux	https://mirrors.sth.sze.hu/almalinux	6 óránként
Debian	https://mirrors.sth.sze.hu/debian
Debian-Security	https://mirrors.sth.sze.hu/debian-security
Manjaro	https://mirrors.sth.sze.hu/manjaro
Raspbian	https://mirrors.sth.sze.hu/raspbian
Ubuntu	https://mirrors.sth.sze.hu/ubuntu

Sebesség: 1Gbit/s