wszystkie opcje
jessie  ] [  stretch  ] [  buster  ] [  bullseye  ] [  sid  ]
[ Pakiet źródłowy: coq  ]

Pakiet: libcoq-ocaml-dev (8.6-4)

Odnośniki dla libcoq-ocaml-dev

Screenshot

Zasoby systemu Debian:

Pobieranie pakietu źródłowego coq:

Opiekunowie:

Zasoby zewnętrzne:

Podobne pakiety:

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 coqmktop, and libraries needed to develop OCaml-side extensions to Coq.

Znaczniki: Rozwój oprogramowania: Biblioteki, Rola: Biblioteka deweloperska

Inne pakiety związane z libcoq-ocaml-dev

  • wymaga
  • poleca
  • sugeruje
  • enhances

Pobieranie libcoq-ocaml-dev

Pobierz dla wszystkich dostępnych architektur
Architektura Rozmiar pakietu Rozmiar po instalacji Pliki
amd64 12 978,1 KiB60 222,0 KiB [lista plików]
arm64 13 200,5 KiB61 513,0 KiB [lista plików]
armel 13 778,4 KiB55 737,0 KiB [lista plików]
armhf 13 823,2 KiB53 707,0 KiB [lista plików]
i386 13 011,2 KiB52 000,0 KiB [lista plików]
mips 9 816,7 KiB35 168,0 KiB [lista plików]
mips64el 9 815,5 KiB35 168,0 KiB [lista plików]
mipsel 9 818,3 KiB35 168,0 KiB [lista plików]
ppc64el 9 819,5 KiB35 168,0 KiB [lista plików]
s390x 9 819,5 KiB35 168,0 KiB [lista plików]