Tarkennettu haku
stretch  ] [  buster  ] [  bullseye  ] [  bookworm  ] [  sid  ]
[ Source: coq  ]

Paketti: libcoq-ocaml-dev (8.12.0-3 ja muut)

Links for libcoq-ocaml-dev



Imuroi lähdekoodipaketti coq:


External Resources:

Samankaltaisia paketteja:

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.

Tagit: Software Development: Kirjastot, Role: Development Library

Muut pakettiin libcoq-ocaml-dev liittyvät paketit

  • depends
  • recommends
  • suggests
  • enhances

Imuroi libcoq-ocaml-dev

Imurointi kaikille saataville arkkitehtuureille
Arkkitehtuuri Versio Paketin koko Koko asennettuna Tiedostot
alpha (epävirallinen siirros) 8.12.0-3+b3 11,015.9 kt43,092.0 kt [tiedostoluettelo]
amd64 8.12.0-3+b3 18,288.5 kt87,035.0 kt [tiedostoluettelo]
arm64 8.12.0-3+b3 18,287.9 kt88,766.0 kt [tiedostoluettelo]
armel 8.12.0-3+b3 11,018.8 kt43,103.0 kt [tiedostoluettelo]
armhf 8.12.0-3+b3 18,745.4 kt76,624.0 kt [tiedostoluettelo]
hppa (epävirallinen siirros) 8.12.0-3+b3 11,018.4 kt43,103.0 kt [tiedostoluettelo]
i386 8.12.0-3+b3 18,221.3 kt76,331.0 kt [tiedostoluettelo]
ia64 (epävirallinen siirros) 8.12.0-3+b3 11,015.6 kt43,092.0 kt [tiedostoluettelo]
mips64el 8.12.0-3+b3 11,013.6 kt43,092.0 kt [tiedostoluettelo]
mipsel 8.12.0-3+b3 11,018.4 kt43,103.0 kt [tiedostoluettelo]
ppc64 (epävirallinen siirros) 8.12.0-3+b3 18,884.5 kt96,705.0 kt [tiedostoluettelo]
ppc64el 8.12.0-3+b3 18,952.9 kt95,957.0 kt [tiedostoluettelo]
riscv64 (epävirallinen siirros) 8.12.0-3+b3 21,076.2 kt136,211.0 kt [tiedostoluettelo]
sh4 (epävirallinen siirros) 8.12.0-3+b3 11,019.6 kt43,103.0 kt [tiedostoluettelo]
sparc64 (epävirallinen siirros) 8.12.0-3+b3 11,014.8 kt43,092.0 kt [tiedostoluettelo]
x32 (epävirallinen siirros) 8.12.0-3+b3 11,018.4 kt43,103.0 kt [tiedostoluettelo]