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

[ Source: coq  ]

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.

Tagit: Role: Shared Library

Muut pakettiin libcoq-ocaml liittyvät paketit

• dep: libc6 (>= 2.1.3) [i386]

  GNU-C-kirjasto: jaetut kirjastot
  myös näennäispaketti, jonka toteuttaa libc6-udeb

  dep: libc6 (>= 2.17) [arm64, ppc64el]

  dep: libc6 (>= 2.2) [mips64el, mipsel]

  dep: libc6 (>= 2.2.5) [amd64]

  dep: libc6 (>= 2.4) [armel, armhf]

• dep: libcairo2-ocaml-56yq1 [armel, mips64el, mipsel]

  näennäispaketti, jonka toteuttaa libcairo2-ocaml

• dep: libcairo2-ocaml-5scl0 [armhf, i386]

  näennäispaketti, jonka toteuttaa libcairo2-ocaml

• dep: libcairo2-ocaml-vwag2 [amd64, arm64, ppc64el]

  näennäispaketti, jonka toteuttaa libcairo2-ocaml

• dep: liblablgtk3-ocaml-0kl61 [armel, mips64el, mipsel]

  näennäispaketti, jonka toteuttaa liblablgtk3-ocaml

• dep: liblablgtk3-ocaml-hdqe0 [armhf, i386]

  näennäispaketti, jonka toteuttaa liblablgtk3-ocaml

• dep: liblablgtk3-ocaml-x0f80 [amd64, arm64, ppc64el]

  näennäispaketti, jonka toteuttaa liblablgtk3-ocaml

• dep: liblablgtksourceview3-ocaml-0eup3 [armel, mips64el, mipsel]

  näennäispaketti, jonka toteuttaa liblablgtksourceview3-ocaml

• dep: liblablgtksourceview3-ocaml-5j5o8 [amd64, arm64, ppc64el]

  näennäispaketti, jonka toteuttaa liblablgtksourceview3-ocaml

• dep: liblablgtksourceview3-ocaml-m95m5 [armhf, i386]

  näennäispaketti, jonka toteuttaa liblablgtksourceview3-ocaml

• dep: libnum-ocaml-3st20 [armel, mips64el, mipsel]

  näennäispaketti, jonka toteuttaa libnum-ocaml

• dep: libnum-ocaml-80ki3 [amd64, arm64, ppc64el]

  näennäispaketti, jonka toteuttaa libnum-ocaml

• dep: libnum-ocaml-hqq52 [armhf, i386]

  näennäispaketti, jonka toteuttaa libnum-ocaml

• dep: ocaml-base-nox-4.11.1

  näennäispaketti, jonka toteuttaa ocaml-base-nox

Imuroi libcoq-ocaml

Imurointi kaikille saataville arkkitehtuureille

Arkkitehtuuri	Versio	Paketin koko	Koko asennettuna	Tiedostot
amd64	8.12.0-3+b3	7,576.3 kt	32,701.0 kt	[tiedostoluettelo]
arm64	8.12.0-3+b3	7,793.4 kt	34,222.0 kt	[tiedostoluettelo]
armel	8.12.0-3+b3	5,332.2 kt	22,943.0 kt	[tiedostoluettelo]
armhf	8.12.0-3+b3	7,561.6 kt	30,008.0 kt	[tiedostoluettelo]
i386	8.12.0-3+b3	7,398.2 kt	31,213.0 kt	[tiedostoluettelo]
mips64el	8.12.0-3+b3	5,331.9 kt	22,943.0 kt	[tiedostoluettelo]
mipsel	8.12.0-3+b3	5,332.1 kt	22,946.0 kt	[tiedostoluettelo]
ppc64el	8.12.0-3+b3	7,632.8 kt	34,259.0 kt	[tiedostoluettelo]