apt.sys.truenas.net | Storj

apt.sys.truenas.net

apt.sys.truenas.net / fangtooth / 25.04.0 / debian / pool / main / c / coq /

Object

libcoq-core-ocaml_8.16.1+dfsg-1+b2_amd64.deb

22.56 MB

Object

coq_8.16.1+dfsg-1+b2_amd64.deb

93.21 MB

Object

libcoq-core-ocaml-dev_8.16.1+dfsg-1+b2_amd64.deb

42.73 MB

Object

libcoq-stdlib_8.16.1+dfsg-1+b2_amd64.deb

21.53 MB

Object

coqide_8.16.1+dfsg-1+b2_amd64.deb

1.99 MB