[ etiona ]
[ nabia ]
[ Källkod: coq ]
Paket: libcoq-ocaml (8.6-5build1)
Länkar för libcoq-ocaml
Trisquelresurser:
Hämta källkodspaketet coq:
Ansvarig:
Original Maintainers:
- Debian OCaml Maintainers (E-postarkiv)
- Ralf Treinen
- Samuel Mimram
- Stéphane Glondu
- Enrico Tassi
Externa resurser:
- Hemsida [coq.inria.fr]
Liknande paket:
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.
Andra paket besläktade med libcoq-ocaml
|
|
|
-
- dep: libc6 (>= 2.1.3) [i386]
- GNU C Library: Shared libraries
också ett virtuellt paket som tillhandahålls av libc6-udeb
- dep: libc6 (>= 2.2.5) [amd64]
-
- dep: liblablgtk2-ocaml-e0615 [i386]
- virtuellt paket som tillhandahålls av liblablgtk2-ocaml
-
- dep: liblablgtk2-ocaml-il3k6 [amd64]
- virtuellt paket som tillhandahålls av liblablgtk2-ocaml
-
- dep: liblablgtksourceview2-ocaml-l26k1 [i386]
- virtuellt paket som tillhandahålls av liblablgtksourceview2-ocaml
-
- dep: liblablgtksourceview2-ocaml-rynx6 [amd64]
- virtuellt paket som tillhandahålls av liblablgtksourceview2-ocaml
-
- dep: ocaml-base-nox-4.05.0
- virtuellt paket som tillhandahålls av ocaml-base-nox
Hämta libcoq-ocaml
| Arkitektur | Paketstorlek | Installerad storlek | Filer |
|---|---|---|---|
| amd64 | 3.481,1 kbyte | 15197 kbyte | [filförteckning] |
| i386 | 3.314,6 kbyte | 13906 kbyte | [filförteckning] |