| Name | Size | Date |
|---|---|---|
| 📁 ../ | - | - |
| 📄 agda-stdlib-doc_0.17-1_all.deb | 1393968 bytes | 2022-04-11 03:04:25 |
| 📄 agda-stdlib_0.17-1.debian.tar.xz | 5312 bytes | 2022-04-11 03:26:08 |
| 📄 agda-stdlib_0.17-1.dsc | 2234 bytes | 2022-04-11 03:26:08 |
| 📄 agda-stdlib_0.17-1_all.deb | 33021876 bytes | 2022-04-11 03:08:14 |
| 📄 agda-stdlib_0.17.orig.tar.gz | 397328 bytes | 2022-04-11 03:26:08 |