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 |