| Name | Last Modified | Size | Type |
|---|---|---|---|
| Parent Directory/ | - | Directory | |
| agda-stdlib-doc_1.7.3-1_all.deb | 2023-Nov-04 13:59:12 | 2.9M | application/octet-stream |
| agda-stdlib_1.7.3-1.debian.tar.xz | 2023-Nov-04 13:33:56 | 5.6K | application/octet-stream |
| agda-stdlib_1.7.3-1.dsc | 2023-Nov-04 13:33:56 | 2.1K | application/octet-stream |
| agda-stdlib_1.7.3-1_all.deb | 2023-Nov-04 13:59:13 | 112.3M | application/octet-stream |
| agda-stdlib_1.7.3.orig.tar.gz | 2023-Nov-04 13:33:56 | 920.0K | application/x-gzip |