všetky možnosti
stretch  ] [  buster  ] [  bullseye  ] [  bookworm  ] [  sid  ]
[ Zdroj: coq  ]

Balík: libcoq-ocaml-dev (8.12.0-3 a iné)

Odkazy pre libcoq-ocaml-dev

Screenshot

Zdroje Debian:

Stiahnuť zdrojový balík coq:

Správcovia:

Externé zdroje:

Podobné balíky:

development libraries and tools for Coq

Coq is a proof assistant for higher-order logic, which allows the development of computer programs consistent with their formal specification. It is developed using Objective Caml and Camlp5.

This package provides and libraries needed to develop OCaml-side extensions to Coq.

Značky: Software Development: Knižnice, Role: Vývojová knižnica

Ostatné balíky súvisiace s balíkom libcoq-ocaml-dev

  • závisí
  • odporúča
  • navrhuje
  • vylepšuje

Stiahnuť libcoq-ocaml-dev

Stiahnuť pre všetky dostupné architektúry
Architektúra Verzia Veľkosť balíka Nainštalovaná veľkosť Súbory
alpha (neoficiálny port) 8.12.0-3+b3 11,015.9 kB43,092.0 kB [zoznam súborov]
amd64 8.12.0-3+b3 18,288.5 kB87,035.0 kB [zoznam súborov]
arm64 8.12.0-3+b3 18,287.9 kB88,766.0 kB [zoznam súborov]
armel 8.12.0-3+b3 11,018.8 kB43,103.0 kB [zoznam súborov]
armhf 8.12.0-3+b3 18,745.4 kB76,624.0 kB [zoznam súborov]
hppa (neoficiálny port) 8.12.0-3+b3 11,018.4 kB43,103.0 kB [zoznam súborov]
i386 8.12.0-3+b3 18,221.3 kB76,331.0 kB [zoznam súborov]
ia64 (neoficiálny port) 8.12.0-3+b3 11,015.6 kB43,092.0 kB [zoznam súborov]
mips64el 8.12.0-3+b3 11,013.6 kB43,092.0 kB [zoznam súborov]
mipsel 8.12.0-3+b3 11,018.4 kB43,103.0 kB [zoznam súborov]
ppc64 (neoficiálny port) 8.12.0-3+b3 18,884.5 kB96,705.0 kB [zoznam súborov]
ppc64el 8.12.0-3+b3 18,952.9 kB95,957.0 kB [zoznam súborov]
riscv64 (neoficiálny port) 8.12.0-3+b3 21,076.2 kB136,211.0 kB [zoznam súborov]
sh4 (neoficiálny port) 8.12.0-3+b3 11,019.6 kB43,103.0 kB [zoznam súborov]
sparc64 (neoficiálny port) 8.12.0-3+b3 11,014.8 kB43,092.0 kB [zoznam súborov]
x32 (neoficiálny port) 8.12.0-3+b3 11,018.4 kB43,103.0 kB [zoznam súborov]