Paketti: libcoq-ocaml-dev (8.12.0-3 ja muut) [debports]

[ Source:  ]

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.

Muut pakettiin libcoq-ocaml-dev liittyvät paketit

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

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

• dep: libcairo2-ocaml-dev-56yq1

  Paketti ei saatavilla

• dep: libcoq-ocaml-4s3g2

  näennäispaketti, jonka toteuttaa libcoq-ocaml

• dep: liblablgtk3-ocaml-dev-0kl61

  Paketti ei saatavilla

• dep: liblablgtksourceview3-ocaml-dev-0eup3

  Paketti ei saatavilla

• dep: libnum-ocaml-dev-3st20

  näennäispaketti, jonka toteuttaa libnum-ocaml-dev

• dep: ocaml-nox-4.11.1

  Paketti ei saatavilla

Imuroi libcoq-ocaml-dev

Imurointi kaikille saataville arkkitehtuureille

Arkkitehtuuri	Versio	Paketin koko	Koko asennettuna	Tiedostot
sparc64 (epävirallinen siirros)	8.12.0-3+b3	11,014.8 kt	43,092.0 kt	[tiedostoluettelo]