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_1.3-2.dsc 211301-Aug-2020 16:54
agda-stdlib_1.7.3-1.dsc 215704-Nov-2023 16:33
agda-stdlib_1.7.1-1.dsc 215706-Aug-2022 21:10
agda-stdlib_0.17-1.dsc 223424-Nov-2018 05:07
agda-stdlib_0.17-1.debian.tar.xz 531224-Nov-2018 05:07
agda-stdlib_1.3-2.debian.tar.xz 564001-Aug-2020 16:54
agda-stdlib_1.7.1-1.debian.tar.xz 566406-Aug-2022 21:10
agda-stdlib_1.7.3-1.debian.tar.xz 573204-Nov-2023 16:33
agda-stdlib_0.17.orig.tar.gz 388K24-Nov-2018 05:07
agda-stdlib_1.3.orig.tar.gz 734K31-Jul-2020 15:50
agda-stdlib_1.7.1.orig.tar.gz 918K06-Aug-2022 21:10
agda-stdlib_1.7.3.orig.tar.gz 920K04-Nov-2023 16:33
agda-stdlib-doc_0.17-1_all.deb 1M24-Nov-2018 05:48
agda-stdlib-doc_1.3-2_all.deb 2M01-Aug-2020 17:34
agda-stdlib-doc_1.7.1-1_all.deb 3M06-Aug-2022 22:46
agda-stdlib-doc_1.7.3-1_all.deb 3M04-Nov-2023 16:59
agda-stdlib_0.17-1_all.deb 31M24-Nov-2018 05:48
agda-stdlib_1.3-2_all.deb 70M01-Aug-2020 17:34
agda-stdlib_1.7.1-1_all.deb 95M06-Aug-2022 22:46
agda-stdlib_1.7.3-1_all.deb 112M04-Nov-2023 16:59