| Name | Size | Date |
|---|---|---|
| ../ | ||
| agda-bin_2.3.2.2-1_amd64.deb | 5Mi | 2014-09-05 09:38:13 |
| agda-mode_2.3.2.2-1_all.deb | 47Ki | 2014-09-05 09:38:13 |
| agda_2.3.2.2-1_all.deb | 3Ki | 2014-09-05 09:38:12 |
| libghc-agda-dev_2.3.2.2-1_amd64.deb | 13Mi | 2014-09-05 09:38:12 |
| libghc-agda-doc_2.3.2.2-1_all.deb | 2Mi | 2014-09-05 09:38:12 |