nas // 945 GiB free of 1.19 TiB
| c | File Name | Size | Date |
|---|---|---|---|
| parent folder | - | - | |
| - | agda-stdlib-doc_2.1-4_all.deb | 3780056 | 2024-11-25 19:39:51 |
| - | agda-stdlib_2.1-4.debian.tar.xz | 6060 | 2024-11-25 19:03:47 |
| - | agda-stdlib_2.1-4.dsc | 2224 | 2024-11-25 19:03:47 |
| - | agda-stdlib_2.1-4_all.deb | 143710196 | 2024-11-25 19:39:51 |
| - | agda-stdlib_2.1.orig.tar.gz | 1211622 | 2024-10-18 21:34:32 |