../ agda-stdlib-doc_0.11-1_all.deb 05-Jan-2016 01:20 1265062 agda-stdlib-doc_0.14-1_all.deb 26-Nov-2017 18:04 1069008 agda-stdlib-doc_0.7-2_all.deb 27-May-2013 23:33 1748382 agda-stdlib-doc_1.1-1_all.deb 06-Sep-2019 15:48 1906288 agda-stdlib-doc_1.3-2_all.deb 02-Aug-2020 05:43 2447524 agda-stdlib-doc_1.7.3-1_all.deb 10-Nov-2023 23:50 2981076 agda-stdlib-doc_2.1-4_all.deb 26-Nov-2024 00:17 3664318 agda-stdlib-doc_2.1-4build1_all.deb 01-Nov-2025 18:57 3664500 agda-stdlib_0.11-1.debian.tar.xz 04-Jan-2016 23:25 4600 agda-stdlib_0.11-1.dsc 04-Jan-2016 23:25 2105 agda-stdlib_0.11-1_all.deb 05-Jan-2016 01:20 17502462 agda-stdlib_0.11.orig.tar.gz 04-Jan-2016 23:25 253251 agda-stdlib_0.14-1.debian.tar.xz 26-Nov-2017 17:08 5188 agda-stdlib_0.14-1.dsc 26-Nov-2017 17:08 2100 agda-stdlib_0.14-1_all.deb 26-Nov-2017 18:04 18159516 agda-stdlib_0.14.orig.tar.gz 26-Nov-2017 11:14 285379 agda-stdlib_0.7-2.debian.tar.gz 27-May-2013 23:33 4455 agda-stdlib_0.7-2.dsc 27-May-2013 23:33 2077 agda-stdlib_0.7-2_all.deb 27-May-2013 23:33 18142868 agda-stdlib_0.7.orig.tar.gz 10-Apr-2013 18:03 226400 agda-stdlib_1.1-1.debian.tar.xz 06-Sep-2019 15:48 5528 agda-stdlib_1.1-1.dsc 06-Sep-2019 15:48 2117 agda-stdlib_1.1-1_all.deb 06-Sep-2019 15:48 47388280 agda-stdlib_1.1.orig.tar.gz 04-Sep-2019 13:38 570106 agda-stdlib_1.3-2.debian.tar.xz 02-Aug-2020 05:13 5640 agda-stdlib_1.3-2.dsc 02-Aug-2020 05:13 2113 agda-stdlib_1.3-2_all.deb 02-Aug-2020 05:43 73224528 agda-stdlib_1.3.orig.tar.gz 01-Aug-2020 23:33 751412 agda-stdlib_1.7.3-1.debian.tar.xz 04-Nov-2023 18:15 5732 agda-stdlib_1.7.3-1.dsc 04-Nov-2023 18:15 2157 agda-stdlib_1.7.3-1_all.deb 10-Nov-2023 23:50 120541094 agda-stdlib_1.7.3.orig.tar.gz 04-Nov-2023 18:15 942086 agda-stdlib_2.1-4.debian.tar.xz 26-Nov-2024 00:17 6060 agda-stdlib_2.1-4.dsc 26-Nov-2024 00:17 2224 agda-stdlib_2.1-4_all.deb 26-Nov-2024 00:17 146968042 agda-stdlib_2.1-4build1.debian.tar.xz 01-Nov-2025 08:04 6100 agda-stdlib_2.1-4build1.dsc 01-Nov-2025 08:04 2219 agda-stdlib_2.1-4build1_all.deb 01-Nov-2025 18:57 146969810 agda-stdlib_2.1.orig.tar.gz 31-Oct-2024 17:16 1211622
This is a mirror server that provides copies of open source software distributions for public convenience. We are not the original creators or maintainers of the mirrored content. All files are provided "as is" without any warranties or guarantees. We are not responsible for the content, quality, or functionality of the mirrored files. Use at your own risk.