Paket: libcoq-core-ocaml (8.20.1+dfsg-1 ve diğerleri)

libcoq-core-ocaml için bağlantılar

Debian Kaynakları:

coq Kaynak Paketini İndir:

Geliştiriciler:

Dış Kaynaklar:

Ana Sayfa [coq.inria.fr]

Benzer paketler:

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

bağımlılıklar

tavsiye edilen

önerilen

enhances

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.3) [amd64, s390x]
dep: libfindlib-ocaml-8k3o3 [amd64]

sanal paketi sağlayan libfindlib-ocaml
dep: libfindlib-ocaml-eitb4 [riscv64]

sanal paketi sağlayan libfindlib-ocaml
dep: libfindlib-ocaml-itlb4 [ppc64el]

sanal paketi sağlayan libfindlib-ocaml
dep: libfindlib-ocaml-svhk3 [s390x]

sanal paketi sağlayan libfindlib-ocaml
dep: libfindlib-ocaml-vaiw6 [arm64]

sanal paketi sağlayan libfindlib-ocaml
dep: libstdlib-ocaml-2d5j3 [s390x]

sanal paketi sağlayan libstdlib-ocaml
dep: libstdlib-ocaml-m4xw9 [s390x değil]

sanal paketi sağlayan libstdlib-ocaml
dep: libzarith-ocaml-2ofb9 [s390x]

sanal paketi sağlayan libzarith-ocaml
dep: libzarith-ocaml-h79v1 [s390x değil]

sanal paketi sağlayan libzarith-ocaml
dep: ocaml-base-5.3.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	Sürüm	Paket Boyutu	Kurulu Boyut	Dosyalar
amd64	8.20.1+dfsg-1+b1	25.347,4 kB	59.789,0 kB	[dosya listesi]
arm64	8.20.1+dfsg-1+b1	25.769,5 kB	66.046,0 kB	[dosya listesi]
ppc64el	8.20.1+dfsg-1+b1	25.372,0 kB	64.320,0 kB	[dosya listesi]
riscv64	8.20.1+dfsg-1+b1	25.411,3 kB	61.638,0 kB	[dosya listesi]
s390x	8.20.1+dfsg-1+b1	25.391,7 kB	64.199,0 kB	[dosya listesi]