| File Name | File Size | Date |
|---|---|---|
| Parent directory/ | - | - |
| agda-mode_2.2.6-7_all.deb | 39K | 06-May-2010 04:02 |
| libghc6-agda-dev_2.2.6-7_amd64.deb | 10M | 06-May-2010 04:02 |
| libghc6-agda-dev_2.2.6-7_i386.deb | 9M | 06-May-2010 07:17 |
| libghc6-agda-doc_2.2.6-7_all.deb | 1M | 06-May-2010 04:02 |