| Name | Size | Date |
|---|---|---|
| 📁 ../ | - | - |
| 📄 agda-stdlib-doc_2.1-4_all.deb | 3780056 bytes | 2024-11-25 19:39:51 |
| 📄 agda-stdlib_2.1-4.debian.tar.xz | 6060 bytes | 2024-11-25 19:03:47 |
| 📄 agda-stdlib_2.1-4.dsc | 2224 bytes | 2024-11-25 19:03:47 |
| 📄 agda-stdlib_2.1-4_all.deb | 143710196 bytes | 2024-11-25 19:39:51 |
| 📄 agda-stdlib_2.1.orig.tar.gz | 1211622 bytes | 2024-10-18 21:34:32 |