| Name | Size | Modified | ||
|---|---|---|---|---|
| .. | — | — | ||
| agda-bin_2.5.4.1-3+b1_mips64el.deb | 10 MB | |||
| agda-mode_2.5.4.1-3_all.deb | 114 KB | |||
| agda_2.5.4.1-3_all.deb | 115 KB | |||
| elpa-agda2-mode_2.5.4.1-3_all.deb | 151 KB | |||
| libghc-agda-dev_2.5.4.1-3+b1_mips64el.deb | 23 MB | |||
| libghc-agda-doc_2.5.4.1-3_all.deb | 3 MB |