| Name | Size | Date |
|---|---|---|
| ../ | ||
| agda-bin_2.3.2.2-1_amd64.deb | 5Mi | 2014-09-02 21:31:11 |
| agda-mode_2.3.2.2-1_all.deb | 47Ki | 2014-09-02 21:31:11 |
| agda_2.3.2.2-1_all.deb | 3Ki | 2014-09-02 21:31:10 |
| libghc-agda-dev_2.3.2.2-1_amd64.deb | 13Mi | 2014-09-02 21:31:10 |
| libghc-agda-doc_2.3.2.2-1_all.deb | 2Mi | 2014-09-02 21:31:10 |