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

[ICO]NameLast modifiedSizeDescription

[PARENTDIR]Parent Directory  -  
[   ]agda-stdlib_2.1-3_all.deb2024-10-24 13:39 133M 
[   ]agda-stdlib_1.7.1-1_all.deb2022-08-06 20:46 95M 
[   ]agda-stdlib_1.3-2_all.deb2020-08-01 15:34 70M 
[   ]agda-stdlib_0.17-1_all.deb2018-11-24 02:48 31M 
[   ]agda-stdlib-doc_2.1-3_all.deb2024-10-24 13:39 3.5M 
[   ]agda-stdlib-doc_1.7.1-1_all.deb2022-08-06 20:46 2.9M 
[   ]agda-stdlib-doc_1.3-2_all.deb2020-08-01 15:34 2.3M 
[   ]agda-stdlib-doc_0.17-1_all.deb2018-11-24 02:48 1.3M 

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