| Name | Last Modified | Size | Type |
|---|---|---|---|
| ../ | - | Directory | |
| agda-stdlib-doc_0.17-1_all.deb | 2018-Nov-24 04:48:23 | 1.3M | application/vnd.debian.binary-package |
| agda-stdlib-doc_0.8-2_all.deb | 2014-Aug-12 13:40:55 | 1.1M | application/vnd.debian.binary-package |
| agda-stdlib_0.17-1_all.deb | 2018-Nov-24 04:48:23 | 31.5M | application/vnd.debian.binary-package |
| agda-stdlib_0.8-2_all.deb | 2014-Aug-12 13:40:55 | 22.4M | application/vnd.debian.binary-package |