![[ICO]](/icons/blank.gif) | Name | Last modified | Size | Description |
|
![[PARENTDIR]](/icons/back.gif) | Parent Directory | | - | |
![[ ]](/icons/compressed.gif) | agda-stdlib_0.7-2.debian.tar.gz | 2013-05-27 16:33 | 4.4K | |
![[ ]](/icons/unknown.gif) | agda-stdlib_0.11-1.debian.tar.xz | 2016-01-04 15:25 | 4.5K | |
![[ ]](/icons/unknown.gif) | agda-stdlib_0.14-1.debian.tar.xz | 2017-11-26 09:08 | 5.1K | |
![[ ]](/icons/unknown.gif) | agda-stdlib_1.1-1.debian.tar.xz | 2019-09-06 08:48 | 5.4K | |
![[ ]](/icons/unknown.gif) | agda-stdlib_1.3-2.debian.tar.xz | 2020-08-01 22:13 | 5.5K | |
![[ ]](/icons/unknown.gif) | agda-stdlib_1.7.3-1.debian.tar.xz | 2023-11-04 11:15 | 5.6K | |
![[ ]](/icons/unknown.gif) | agda-stdlib_2.1-4.debian.tar.xz | 2024-11-25 16:17 | 5.9K | |
![[ ]](/icons/unknown.gif) | agda-stdlib-doc_0.14-1_all.deb | 2017-11-26 10:04 | 1.0M | |
![[ ]](/icons/unknown.gif) | agda-stdlib-doc_0.11-1_all.deb | 2016-01-04 17:20 | 1.2M | |
![[ ]](/icons/unknown.gif) | agda-stdlib-doc_0.7-2_all.deb | 2013-05-27 16:33 | 1.7M | |
![[ ]](/icons/unknown.gif) | agda-stdlib-doc_1.1-1_all.deb | 2019-09-06 08:48 | 1.8M | |
![[ ]](/icons/unknown.gif) | agda-stdlib-doc_1.3-2_all.deb | 2020-08-01 22:43 | 2.3M | |
![[ ]](/icons/unknown.gif) | agda-stdlib-doc_1.7.3-1_all.deb | 2023-11-10 15:50 | 2.8M | |
![[ ]](/icons/unknown.gif) | agda-stdlib-doc_2.1-4_all.deb | 2024-11-25 16:17 | 3.5M | |
![[ ]](/icons/unknown.gif) | agda-stdlib_0.11-1_all.deb | 2016-01-04 17:20 | 17M | |
![[ ]](/icons/unknown.gif) | agda-stdlib_0.7-2_all.deb | 2013-05-27 16:33 | 17M | |
![[ ]](/icons/unknown.gif) | agda-stdlib_0.14-1_all.deb | 2017-11-26 10:04 | 17M | |
![[ ]](/icons/unknown.gif) | agda-stdlib_1.1-1_all.deb | 2019-09-06 08:48 | 45M | |
![[ ]](/icons/unknown.gif) | agda-stdlib_1.3-2_all.deb | 2020-08-01 22:43 | 70M | |
![[ ]](/icons/unknown.gif) | agda-stdlib_1.7.3-1_all.deb | 2023-11-10 15:50 | 115M | |
![[ ]](/icons/unknown.gif) | agda-stdlib_2.1-4_all.deb | 2024-11-25 16:17 | 140M | |
|