| Name | Size | Modified |
|---|---|---|
| ../ | - | - |
| agda-bin_2.6.2.2-1.1_amd64.deb | 7.8 MB | |
| agda-bin_2.6.4.3-1+b2_amd64.deb | 9.8 MB | |
| agda-bin_2.6.4.3-1+b2_arm64.deb | 9.9 MB | |
| agda-bin_2.6.4.3-1_riscv64.deb | 13.1 MB | |
| agda_2.6.2.2-1.1_all.deb | 12.3 kB | |
| agda_2.6.4.3-1.debian.tar.xz | 10.5 kB | |
| agda_2.6.4.3-1.dsc | 5.2 kB | |
| agda_2.6.4.3-1_all.deb | 12.1 kB | |
| agda_2.6.4.3.orig.tar.gz | 1.9 MB | |
| elpa-agda2-mode_2.6.2.2-1.1_all.deb | 50.9 kB | |
| elpa-agda2-mode_2.6.4.3-1_all.deb | 51.3 kB | |
| libghc-agda-dev_2.6.2.2-1.1_amd64.deb | 24.9 MB | |
| libghc-agda-dev_2.6.4.3-1+b2_amd64.deb | 22.8 MB | |
| libghc-agda-dev_2.6.4.3-1+b2_arm64.deb | 24.5 MB | |
| libghc-agda-dev_2.6.4.3-1_riscv64.deb | 41.7 MB | |
| libghc-agda-doc_2.6.2.2-1.1_all.deb | 6.6 MB | |
| libghc-agda-doc_2.6.4.3-1_all.deb | 7.5 MB |
This page is generated by rsync-sjtug. rsync-sjtug is a tool used by SJTUG to sync from rsync upstream to object storage.
Revision 74276, Last updated at , query time 2ms