| Name | Size | Modified | ||
|---|---|---|---|---|
| .. | — | — | ||
| agda-bin_2.6.4.3-1_loong64.deb | 13 MB | |||
| agda_2.6.4.3-1.debian.tar.xz | 10 KB | |||
| agda_2.6.4.3-1.dsc | 4 KB | |||
| agda_2.6.4.3-1_all.deb | 4 KB | |||
| agda_2.6.4.3.orig.tar.gz | 1 MB | |||
| elpa-agda2-mode_2.6.4.3-1_all.deb | 42 KB | |||
| libghc-agda-dev_2.6.4.3-1_loong64.deb | 44 MB | |||
| libghc-agda-doc_2.6.4.3-1_all.deb | 7 MB |