ASNET-AM

MIRRORS.ASNET.AM

Archive at the Academic Scientific Research Computer Network of Armenia
Directory: /debian/pool/main/a/agda-stdlib/
File Name  ↓ File Size  ↓ Date  ↓ 
Parent directory/--
agda-stdlib_2.1-3_all.deb 133M24-Oct-2024 15:39
agda-stdlib_1.7.1-1_all.deb 95M06-Aug-2022 22:46
agda-stdlib_1.3-2_all.deb 70M01-Aug-2020 17:34
agda-stdlib_0.17-1_all.deb 31M24-Nov-2018 05:48
agda-stdlib-doc_2.1-3_all.deb 4M24-Oct-2024 15:39
agda-stdlib-doc_1.7.1-1_all.deb 3M06-Aug-2022 22:46
agda-stdlib-doc_1.3-2_all.deb 2M01-Aug-2020 17:34
agda-stdlib-doc_0.17-1_all.deb 1M24-Nov-2018 05:48
agda-stdlib_2.1.orig.tar.gz 1M19-Oct-2024 01:34
agda-stdlib_1.7.1.orig.tar.gz 918K06-Aug-2022 21:10
agda-stdlib_1.3.orig.tar.gz 734K31-Jul-2020 15:50
agda-stdlib_0.17.orig.tar.gz 388K24-Nov-2018 05:07
agda-stdlib_2.1-3.debian.tar.xz 602024-Oct-2024 14:58
agda-stdlib_1.7.1-1.debian.tar.xz 566406-Aug-2022 21:10
agda-stdlib_1.3-2.debian.tar.xz 564001-Aug-2020 16:54
agda-stdlib_0.17-1.debian.tar.xz 531224-Nov-2018 05:07
agda-stdlib_0.17-1.dsc 223424-Nov-2018 05:07
agda-stdlib_2.1-3.dsc 222424-Oct-2024 14:58
agda-stdlib_1.7.1-1.dsc 215706-Aug-2022 21:10
agda-stdlib_1.3-2.dsc 211301-Aug-2020 16:54