Paket: libcoq-ocaml-dev (8.12.0-3 ve diğerleri) [debports]

[ Kaynak:  ]

development libraries and tools 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 and libraries needed to develop OCaml-side extensions to Coq.

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

• dep: coq (= 8.12.0-3+b3)

  proof assistant for higher-order logic (toplevel and compiler)

• dep: libcairo2-ocaml-dev-56yq1

  Paket mevcut değil

• dep: libcoq-ocaml-4s3g2

  sanal paketi sağlayan libcoq-ocaml

• dep: liblablgtk3-ocaml-dev-0kl61

  Paket mevcut değil

• dep: liblablgtksourceview3-ocaml-dev-0eup3

  Paket mevcut değil

• dep: libnum-ocaml-dev-3st20

  sanal paketi sağlayan libnum-ocaml-dev

• dep: ocaml-nox-4.11.1

  Paket mevcut değil

libcoq-ocaml-dev indir

Tüm mevcut mimariler için indir

Mimari	Sürüm	Paket Boyutu	Kurulu Boyut	Dosyalar
alpha (resmi olmayan port)	8.12.0-3+b3	11.015,9 kB	43.092,0 kB	[dosya listesi]
hppa (resmi olmayan port)	8.12.0-3+b3	11.018,4 kB	43.103,0 kB	[dosya listesi]
ia64 (resmi olmayan port)	8.12.0-3+b3	11.015,6 kB	43.092,0 kB	[dosya listesi]
sh4 (resmi olmayan port)	8.12.0-3+b3	11.019,6 kB	43.103,0 kB	[dosya listesi]
sparc64 (resmi olmayan port)	8.12.0-3+b3	11.014,8 kB	43.092,0 kB	[dosya listesi]
x32 (resmi olmayan port)	8.12.0-3+b3	11.018,4 kB	43.103,0 kB	[dosya listesi]