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

Paketti: libcoq-ocaml (8.9.1-1 ja muut)

Links for libcoq-ocaml

Screenshot

Debian-palvelut:

Imuroi lähdekoodipaketti coq:

Ylläpitäjät:

External Resources:

Samankaltaisia paketteja:

runtime libraries 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 runtime libraries for Coq.

Muut pakettiin libcoq-ocaml liittyvät paketit

  • depends
  • recommends
  • suggests
  • enhances

Imuroi libcoq-ocaml

Imurointi kaikille saataville arkkitehtuureille
Arkkitehtuuri Versio Paketin koko Koko asennettuna Tiedostot
alpha (epävirallinen siirros) 8.9.1-1 3,544.6 kt14,123.0 kt [tiedostoluettelo]
amd64 8.9.1-1 5,384.9 kt23,606.0 kt [tiedostoluettelo]
arm64 8.9.1-1 5,722.1 kt25,790.0 kt [tiedostoluettelo]
armel 8.9.1-1 3,542.6 kt14,113.0 kt [tiedostoluettelo]
armhf 8.9.1-1 5,311.6 kt20,429.0 kt [tiedostoluettelo]
hppa (epävirallinen siirros) 8.9.1-1 3,546.2 kt14,122.0 kt [tiedostoluettelo]
i386 8.9.1-1 5,113.6 kt21,482.0 kt [tiedostoluettelo]
mips64el 8.9.1-1 3,542.3 kt14,120.0 kt [tiedostoluettelo]
mipsel 8.9.1-1 3,544.8 kt14,119.0 kt [tiedostoluettelo]
powerpcspe (epävirallinen siirros) 8.9.0-1 3,498.1 kt13,914.0 kt [tiedostoluettelo]
ppc64 (epävirallinen siirros) 8.9.1-1 5,501.7 kt26,355.0 kt [tiedostoluettelo]
ppc64el 8.9.1-1 5,501.7 kt25,267.0 kt [tiedostoluettelo]
riscv64 (epävirallinen siirros) 8.9.1-1 3,542.0 kt14,110.0 kt [tiedostoluettelo]
s390x 8.9.1-1 5,481.0 kt24,890.0 kt [tiedostoluettelo]
sh4 (epävirallinen siirros) 8.9.1-1 3,547.3 kt14,113.0 kt [tiedostoluettelo]
sparc64 (epävirallinen siirros) 8.9.1-1 3,542.0 kt14,123.0 kt [tiedostoluettelo]
x32 (epävirallinen siirros) 8.9.1-1 3,542.8 kt14,117.0 kt [tiedostoluettelo]