ASNET-AM

MIRRORS.ASNET.AM

Archive at the Academic Scientific Research Computer Network of Armenia
Directory: /ubuntu/pool/universe/a/agda-stdlib/
File Name  ↓ File Size  ↓ Date  ↓ 
Parent directory/--
agda-stdlib_0.7-2.dsc 207728-May-2013 03:33
agda-stdlib_0.14-1.dsc 210026-Nov-2017 21:08
agda-stdlib_0.11-1.dsc 210505-Jan-2016 03:25
agda-stdlib_1.3-2.dsc 211302-Aug-2020 09:13
agda-stdlib_1.1-1.dsc 211706-Sep-2019 19:48
agda-stdlib_1.7.3-1.dsc 215704-Nov-2023 22:15
agda-stdlib_1.7.1-1.dsc 215707-Aug-2022 03:19
agda-stdlib_2.1-3.dsc 222431-Oct-2024 21:16
agda-stdlib_0.7-2.debian.tar.gz 445528-May-2013 03:33
agda-stdlib_0.11-1.debian.tar.xz 460005-Jan-2016 03:25
agda-stdlib_0.14-1.debian.tar.xz 518826-Nov-2017 21:08
agda-stdlib_1.1-1.debian.tar.xz 552806-Sep-2019 19:48
agda-stdlib_1.3-2.debian.tar.xz 564002-Aug-2020 09:13
agda-stdlib_1.7.1-1.debian.tar.xz 566407-Aug-2022 03:19
agda-stdlib_1.7.3-1.debian.tar.xz 573204-Nov-2023 22:15
agda-stdlib_2.1-3.debian.tar.xz 602031-Oct-2024 21:16
agda-stdlib_0.7.orig.tar.gz 221K10-Apr-2013 22:03
agda-stdlib_0.11.orig.tar.gz 247K05-Jan-2016 03:25
agda-stdlib_0.14.orig.tar.gz 279K26-Nov-2017 15:14
agda-stdlib_1.1.orig.tar.gz 557K04-Sep-2019 17:38
agda-stdlib_1.3.orig.tar.gz 734K02-Aug-2020 03:33
agda-stdlib_1.7.1.orig.tar.gz 918K07-Aug-2022 03:19
agda-stdlib_1.7.3.orig.tar.gz 920K04-Nov-2023 22:15
agda-stdlib-doc_0.14-1_all.deb 1M26-Nov-2017 22:04
agda-stdlib_2.1.orig.tar.gz 1M31-Oct-2024 21:16
agda-stdlib-doc_0.11-1_all.deb 1M05-Jan-2016 05:20
agda-stdlib-doc_0.7-2_all.deb 2M28-May-2013 03:33
agda-stdlib-doc_1.1-1_all.deb 2M06-Sep-2019 19:48
agda-stdlib-doc_1.3-2_all.deb 2M02-Aug-2020 09:43
agda-stdlib-doc_1.7.1-1_all.deb 3M26-Aug-2022 23:09
agda-stdlib-doc_1.7.3-1_all.deb 3M11-Nov-2023 03:50
agda-stdlib-doc_2.1-3_all.deb 3M31-Oct-2024 23:19
agda-stdlib_0.11-1_all.deb 17M05-Jan-2016 05:20
agda-stdlib_0.7-2_all.deb 17M28-May-2013 03:33
agda-stdlib_0.14-1_all.deb 17M26-Nov-2017 22:04
agda-stdlib_1.1-1_all.deb 45M06-Sep-2019 19:48
agda-stdlib_1.3-2_all.deb 70M02-Aug-2020 09:43
agda-stdlib_1.7.1-1_all.deb 98M26-Aug-2022 23:09
agda-stdlib_1.7.3-1_all.deb 115M11-Nov-2023 03:50
agda-stdlib_2.1-3_all.deb 136M31-Oct-2024 23:19