Name | Last Modified | Size | Type |
---|---|---|---|
../ | - | Directory | |
agda-stdlib-doc_1.1-1_all.deb | 2019-Sep-13 22:47:35 | 1.8M | application/vnd.debian.binary-package |
agda-stdlib_1.1-1.debian.tar.xz | 2019-Sep-04 20:26:52 | 5.4K | application/x-xz |
agda-stdlib_1.1-1.dsc | 2019-Sep-04 20:26:52 | 2.0K | application/octet-stream |
agda-stdlib_1.1-1_all.deb | 2019-Sep-13 22:47:35 | 45.2M | application/vnd.debian.binary-package |
agda-stdlib_1.1.orig.tar.gz | 2019-Sep-04 20:26:52 | 556.7K | application/x-gtar-compressed |