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