Paket: libcoq-core-ocaml (8.20.0+dfsg-1)

[ Kaynak: 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.

libcoq-core-ocaml ile İlgili Diğer Paketler

• dep: libc6 (>= 2.17) [arm64]

  GNU C Library: Shared libraries
  ayrıca şunun tarafından sağlanan bir sanal paket libc6-udeb

  dep: libc6 (>= 2.22) [ppc64el]

  dep: libc6 (>= 2.27) [riscv64]

  dep: libc6 (>= 2.4) [amd64, s390x]

• dep: libfindlib-ocaml-0ne56 [amd64]

  sanal paketi sağlayan libfindlib-ocaml

• dep: libfindlib-ocaml-7zo87 [s390x]

  sanal paketi sağlayan libfindlib-ocaml

• dep: libfindlib-ocaml-9l3r6 [riscv64]

  sanal paketi sağlayan libfindlib-ocaml

• dep: libfindlib-ocaml-huq36 [ppc64el]

  sanal paketi sağlayan libfindlib-ocaml

• dep: libfindlib-ocaml-s9ic8 [arm64]

  sanal paketi sağlayan libfindlib-ocaml

• dep: libstdlib-ocaml-0d647 [arm64]

  sanal paketi sağlayan libstdlib-ocaml

• dep: libstdlib-ocaml-2a614 [ppc64el]

  sanal paketi sağlayan libstdlib-ocaml

• dep: libstdlib-ocaml-7l663 [amd64]

  sanal paketi sağlayan libstdlib-ocaml

• dep: libstdlib-ocaml-r1af2 [s390x]

  sanal paketi sağlayan libstdlib-ocaml

• dep: libstdlib-ocaml-vvst5 [riscv64]

  sanal paketi sağlayan libstdlib-ocaml

• dep: libzarith-ocaml-lfk68 [s390x]

  sanal paketi sağlayan libzarith-ocaml

• dep: libzarith-ocaml-mtsj7 [s390x değil]

  sanal paketi sağlayan libzarith-ocaml

• dep: ocaml-base-5.2.0

  sanal paketi sağlayan ocaml-base

• sug: ocaml-findlib

  management tool for OCaml libraries

libcoq-core-ocaml indir

Tüm mevcut mimariler için indir

Mimari	Paket Boyutu	Kurulu Boyut	Dosyalar
amd64	25.261,9 kB	59.705,0 kB	[dosya listesi]
arm64	25.690,9 kB	65.967,0 kB	[dosya listesi]
ppc64el	25.283,4 kB	64.240,0 kB	[dosya listesi]
riscv64	25.329,9 kB	61.566,0 kB	[dosya listesi]
s390x	25.300,3 kB	64.118,0 kB	[dosya listesi]