apt.sys.truenas.net

apt.sys.truenas.net / cobia / 23.10-BETA.1 / debian / pool / main / a / agda /
Object elpa-agda2-mode_2.6.2.2-1.1_all.deb

50.94 KB
Download
Object agda-bin_2.6.2.2-1.1_amd64.deb

7.75 MB
Download
Object agda_2.6.2.2-1.1_all.deb

12.30 KB
Download
Object libghc-agda-dev_2.6.2.2-1.1_amd64.deb

24.85 MB
Download
Object libghc-agda-doc_2.6.2.2-1.1_all.deb

6.60 MB
Download
... ...