| Parent Directory | - | - | - |
| agda-stdlib-doc_0.11-1_all.deb | 2016-01-05 01:20 | 1265062 | - |
| agda-stdlib-doc_0.14-1_all.deb | 2017-11-26 18:04 | 1069008 | - |
| agda-stdlib-doc_0.7-2_all.deb | 2013-05-27 23:33 | 1748382 | - |
| agda-stdlib-doc_1.1-1_all.deb | 2019-09-06 15:48 | 1906288 | - |
| agda-stdlib-doc_1.3-2_all.deb | 2020-08-02 05:43 | 2447524 | - |
| agda-stdlib-doc_1.7.3-1_all.deb | 2023-11-10 23:50 | 2981076 | - |
| agda-stdlib-doc_2.1-4_all.deb | 2024-11-26 00:17 | 3664318 | - |
| agda-stdlib-doc_2.3-1_all.deb | 2026-02-19 00:05 | 3812826 | - |
| agda-stdlib-doc_2.3-1build1_all.deb | 2026-07-30 21:20 | 3812392 | - |
| agda-stdlib_0.11-1.debian.tar.xz | 2016-01-04 23:25 | 4600 | - |
| agda-stdlib_0.11-1.dsc | 2016-01-04 23:25 | 2105 | - |
| agda-stdlib_0.11-1_all.deb | 2016-01-05 01:20 | 17502462 | - |
| agda-stdlib_0.11.orig.tar.gz | 2016-01-04 23:25 | 253251 | - |
| agda-stdlib_0.14-1.debian.tar.xz | 2017-11-26 17:08 | 5188 | - |
| agda-stdlib_0.14-1.dsc | 2017-11-26 17:08 | 2100 | - |
| agda-stdlib_0.14-1_all.deb | 2017-11-26 18:04 | 18159516 | - |
| agda-stdlib_0.14.orig.tar.gz | 2017-11-26 11:14 | 285379 | - |
| agda-stdlib_0.7-2.debian.tar.gz | 2013-05-27 23:33 | 4455 | - |
| agda-stdlib_0.7-2.dsc | 2013-05-27 23:33 | 2077 | - |
| agda-stdlib_0.7-2_all.deb | 2013-05-27 23:33 | 18142868 | - |
| agda-stdlib_0.7.orig.tar.gz | 2013-04-10 18:03 | 226400 | - |
| agda-stdlib_1.1-1.debian.tar.xz | 2019-09-06 15:48 | 5528 | - |
| agda-stdlib_1.1-1.dsc | 2019-09-06 15:48 | 2117 | - |
| agda-stdlib_1.1-1_all.deb | 2019-09-06 15:48 | 47388280 | - |
| agda-stdlib_1.1.orig.tar.gz | 2019-09-04 13:38 | 570106 | - |
| agda-stdlib_1.3-2.debian.tar.xz | 2020-08-02 05:13 | 5640 | - |
| agda-stdlib_1.3-2.dsc | 2020-08-02 05:13 | 2113 | - |
| agda-stdlib_1.3-2_all.deb | 2020-08-02 05:43 | 73224528 | - |
| agda-stdlib_1.3.orig.tar.gz | 2020-08-01 23:33 | 751412 | - |
| agda-stdlib_1.7.3-1.debian.tar.xz | 2023-11-04 18:15 | 5732 | - |
| agda-stdlib_1.7.3-1.dsc | 2023-11-04 18:15 | 2157 | - |
| agda-stdlib_1.7.3-1_all.deb | 2023-11-10 23:50 | 120541094 | - |
| agda-stdlib_1.7.3.orig.tar.gz | 2023-11-04 18:15 | 942086 | - |
| agda-stdlib_2.1-4.debian.tar.xz | 2024-11-26 00:17 | 6060 | - |
| agda-stdlib_2.1-4.dsc | 2024-11-26 00:17 | 2224 | - |
| agda-stdlib_2.1-4_all.deb | 2024-11-26 00:17 | 146968042 | - |
| agda-stdlib_2.1.orig.tar.gz | 2024-10-31 17:16 | 1211622 | - |
| agda-stdlib_2.3-1.debian.tar.xz | 2026-02-16 01:34 | 6088 | - |
| agda-stdlib_2.3-1.dsc | 2026-02-16 01:34 | 2219 | - |
| agda-stdlib_2.3-1_all.deb | 2026-02-19 00:06 | 156602626 | - |
| agda-stdlib_2.3-1build1.debian.tar.xz | 2026-07-30 20:30 | 6124 | - |
| agda-stdlib_2.3-1build1.dsc | 2026-07-30 20:30 | 2216 | - |
| agda-stdlib_2.3-1build1_all.deb | 2026-07-30 21:20 | 156602330 | - |
| agda-stdlib_2.3.orig.tar.gz | 2026-02-16 01:34 | 1267194 | - |