Пакет: libcoq-ocaml (8.6-5build1)
Връзки за libcoq-ocaml
Ресурси за Trisquel:
Изтегляне на пакет-източник coq.
Отговорник:
Original Maintainers:
- Debian OCaml Maintainers (Пощенски архив)
- Ralf Treinen
- Samuel Mimram
- Stéphane Glondu
- Enrico Tassi
Външни препратки:
- Начална страница [coq.inria.fr]
Подобни пакети:
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-ocaml
|
|
|
-
- dep: libc6 (>= 2.1.3) [i386]
- GNU C Library: Shared libraries
също и виртуален пакет, предлаган от libc6-udeb
- dep: libc6 (>= 2.2.5) [amd64]
-
- dep: liblablgtk2-ocaml-e0615 [i386]
- виртуален пакет, предлаган от liblablgtk2-ocaml
-
- dep: liblablgtk2-ocaml-il3k6 [amd64]
- виртуален пакет, предлаган от liblablgtk2-ocaml
-
- dep: liblablgtksourceview2-ocaml-l26k1 [i386]
- виртуален пакет, предлаган от liblablgtksourceview2-ocaml
-
- dep: liblablgtksourceview2-ocaml-rynx6 [amd64]
- виртуален пакет, предлаган от liblablgtksourceview2-ocaml
-
- dep: ocaml-base-nox-4.05.0
- виртуален пакет, предлаган от ocaml-base-nox
Изтегляне на libcoq-ocaml
Архитектура | Големина на пакета | Големина след инсталиране | Файлове |
---|---|---|---|
amd64 | 3 481,1 кБ | 15197 кБ | [списък на файловете] |
i386 | 3 314,6 кБ | 13906 кБ | [списък на файловете] |