| Name | Size | Modified | ||
|---|---|---|---|---|
| Go up | — | — | ||
| agda-bin_2.6.3-1+b2_arm64.deb | 9.8 MiB | |||
| agda-bin_2.6.3-1+b3_amd64.deb | 9.8 MiB | |||
| agda_2.6.3-1_all.deb | 20 KiB | |||
| elpa-agda2-mode_2.6.3-1_all.deb | 58 KiB | |||
| libghc-agda-dev_2.6.3-1+b2_arm64.deb | 24 MiB | |||
| libghc-agda-dev_2.6.3-1+b3_amd64.deb | 23 MiB | |||
| libghc-agda-doc_2.6.3-1_all.deb | 6.6 MiB |