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

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:

Deneysel paket

Uyarı: Bu paket deneysel dağıtımdan geliyor. Bu, paketin kararsız veya hatalı olabileceği hatta veri kaybına sebep olabileceği anlamına gelmektedir. Lütfen kullanmadan önce değişim günlüğüne ve muhtemel diğer belgelendirmeye danıştığınızdan emin olun.

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]

Paket mevcut değil
dep: libfindlib-ocaml-eitb4 [riscv64]

Paket mevcut değil
dep: libfindlib-ocaml-itlb4 [ppc64el]

Paket mevcut değil
dep: libfindlib-ocaml-svhk3 [s390x]

Paket mevcut değil
dep: libfindlib-ocaml-vaiw6 [arm64]

Paket mevcut değil
dep: libstdlib-ocaml-2d5j3 [s390x]

Paket mevcut değil
dep: libstdlib-ocaml-m4xw9 [s390x değil]

Paket mevcut değil
dep: libzarith-ocaml-2ofb9 [s390x]

Paket mevcut değil
dep: libzarith-ocaml-h79v1 [s390x değil]

Paket mevcut değil
dep: ocaml-base-5.3.0

Paket mevcut değil

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	26.199,5 kB	61.856,0 kB	[dosya listesi]
arm64	26.658,0 kB	68.433,0 kB	[dosya listesi]
ppc64el	26.245,0 kB	66.577,0 kB	[dosya listesi]
riscv64	26.289,5 kB	63.749,0 kB	[dosya listesi]
s390x	26.258,9 kB	66.401,0 kB	[dosya listesi]