Welcome to NFSCHINA Repo Server
Please use the links below to navigate:
agda_2.5.1.1-3_all.deb
agda-bin_2.5.1.1-3+b3_arm64.deb
agda-mode_2.5.1.1-3_all.deb
elpa-agda2-mode_2.5.1.1-3_all.deb
index.html
libghc-agda-dev_2.5.1.1-3+b3_arm64.deb
libghc-agda-doc_2.5.1.1-3_all.deb