Index of /debian/pool/main/a/agda-stdlib

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]agda-stdlib-doc_0.17-1_all.deb2018-11-24 02:48 1.3M 
[ ]agda-stdlib-doc_1.3-2_all.deb2020-08-01 15:34 2.3M 
[ ]agda-stdlib-doc_1.7.1-1_all.deb2022-08-06 20:46 2.9M 
[ ]agda-stdlib-doc_1.7.3-1_all.deb2023-11-04 13:59 2.9M 
[ ]agda-stdlib_0.17-1_all.deb2018-11-24 02:48 31M 
[ ]agda-stdlib_1.3-2_all.deb2020-08-01 15:34 70M 
[ ]agda-stdlib_1.7.1-1_all.deb2022-08-06 20:46 95M 
[ ]agda-stdlib_1.7.3-1_all.deb2023-11-04 13:59 112M 

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