alle opties
buster  ] [  bullseye  ] [  sid  ]
[ Bron: coq  ]

Pakket: libcoq-ocaml-dev (8.9.0-1)

Verwijzigingen voor libcoq-ocaml-dev

Screenshot

Debian bronnen:

Het bronpakket coq downloaden:

Beheerders:

Externe bronnen:

Vergelijkbare pakketten:

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.

Tags: Softwareontwikkeling: Bibliotheken, Role: Development Library

Andere aan libcoq-ocaml-dev gerelateerde pakketten

  • depends
  • recommends
  • suggests
  • enhances

libcoq-ocaml-dev downloaden

Pakket downloaden voor alle beschikbare platforms
Platform Pakketgrootte Geïnstalleerde grootte Bestanden
amd64 13.382,8 kB69.541,0 kB [overzicht]
arm64 13.673,7 kB71.786,0 kB [overzicht]
armhf 14.054,5 kB57.634,0 kB [overzicht]
i386 13.407,0 kB57.125,0 kB [overzicht]