apt.sys.truenas.net | Storj

apt.sys.truenas.net

apt.sys.truenas.net / cobia / 23.10.1 / debian / pool / main / a / agda /

Object

libghc-agda-dev_2.6.2.2-1.1_amd64.deb

24.85 MB

Object

elpa-agda2-mode_2.6.2.2-1.1_all.deb

50.94 KB

Object

agda_2.6.2.2-1.1_all.deb

12.30 KB

Object

agda-bin_2.6.2.2-1.1_amd64.deb

7.75 MB

Object

libghc-agda-doc_2.6.2.2-1.1_all.deb

6.60 MB