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