| Name ▴ | Size | Last Modified |
|---|---|---|
| ../ | - | - |
| agda-bin_2.5.4.1-3+b1_amd64.deb | 5.6 MB | 2022-04-11 03:38 |
| agda-bin_2.5.4.1-3+b1_i386.deb | 5.7 MB | 2022-04-11 03:00 |
| agda-mode_2.5.4.1-3_all.deb | 114.9 KB | 2022-04-11 03:27 |
| agda_2.5.4.1-3.debian.tar.xz | 9.7 KB | 2022-04-11 03:17 |
| agda_2.5.4.1-3.dsc | 3.8 KB | 2022-04-11 03:17 |
| agda_2.5.4.1-3_all.deb | 115.3 KB | 2022-04-11 02:58 |
| agda_2.5.4.1.orig.tar.gz | 1.9 MB | 2022-04-11 03:17 |
| elpa-agda2-mode_2.5.4.1-3_all.deb | 151.8 KB | 2022-04-11 03:04 |
| libghc-agda-dev_2.5.4.1-3+b1_amd64.deb | 16.4 MB | 2022-04-11 03:15 |
| libghc-agda-dev_2.5.4.1-3+b1_i386.deb | 16.0 MB | 2022-04-11 03:18 |
| libghc-agda-doc_2.5.4.1-3_all.deb | 3.6 MB | 2022-04-11 03:33 |
11 items, 49.6 MB total