|
|
| Distribution |
Debian unstable |
| Abteilung |
math |
| Quelle |
coq |
| Version |
8.2.pl1+dfsg-6+b2 |
| Maintainer |
Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
|
| Beschreibung |
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 CoqIde, a graphical user interface for
developing proofs.
|
| Abhängig von | coq (= 8.2.pl1+dfsg-6+b2), libatk1.0-0 (>= 1.29.3), libc6 (>= 2.7), libcairo2 (>= 1.2.4), libfontconfig1 (>= 2.8.0), libfreetype6 (>= 2.2.1), libglib2.0-0 (>= 2.16.0), libgtk2.0-0 (>= 2.12.0), liblablgtk2-ocaml-h3pg1, libpango1.0-0 (>= 1.14.0), ocaml-base-nox-3.11.2 |
| Offizielle Seiten |
Paket
Entwicklerinformationen
Bugs (Binärpaket)
Bugs (Quellpaket) |
| Download |
amd64 |
|
|
|
