[ Source: coq ]
Package: coqide (8.1.pl3+dfsg-1) [universe]
Links for coqide
Ubuntu Resources:
Download Source Package coq:
Maintainer:
Please consider filing a bug or asking a question via Launchpad before contacting the maintainer directly.
Original Maintainers (usually from Debian):
- Debian OCaml Maintainers (Mail Archive)
- Ralf Treinen
- Remi Vanicat
- Stefano Zacchiroli
- Samuel Mimram
It should generally not be necessary for users to contact the original maintainer.
Similar packages:
proof assistant for higher-order logic (gtk interface)
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 Camlp4. For more information, see <http://coq.inria.fr/>.
This package provides CoqIde, a graphical user interface for developing proofs.
Other Packages Related to coqide
|
|
|
-
- dep: coq (>= 8.0)
- proof assistant for higher-order logic (toplevel and compiler)
-
- dep: libatk1.0-0 (>= 1.20.0)
- The ATK accessibility toolkit
-
- dep: libc6 (>= 2.7-1)
- GNU C Library: Shared libraries
also a virtual package provided by libc6-udeb
-
- dep: libcairo2 (>= 1.5.4)
- The Cairo 2D vector graphics library
-
- dep: libfontconfig1 (>= 2.4.0) [i386]
- generic font configuration library - runtime
-
- dep: libglib2.0-0 (>= 2.15.0)
- The GLib library of C routines
-
- dep: libgtk2.0-0 (>= 2.12.0)
- The GTK+ graphical user interface library
-
- dep: libncurses5 (>= 5.6+20071006-3)
- Shared libraries for terminal handling
-
- dep: libpango1.0-0 (>= 1.19.2)
- Layout and rendering of internationalized text
-
- dep: libx11-6 [i386]
- X11 client-side library
-
- dep: libxcomposite1 (>= 1:0.3-1) [i386]
- X11 Composite extension library
-
- dep: libxcursor1 (>> 1.1.2) [i386]
- X cursor management library
-
- dep: libxdamage1 (>= 1:1.1) [i386]
- X11 damaged region extension library
-
- dep: libxext6 [i386]
- X11 miscellaneous extension library
-
- dep: libxfixes3 (>= 1:4.0.1) [i386]
- X11 miscellaneous 'fixes' extension library
-
- dep: libxi6 [i386]
- X11 Input extension library
-
- dep: libxinerama1 [i386]
- X11 Xinerama extension library
-
- dep: libxrandr2 (>= 2:1.2.0) [i386]
- X11 RandR extension library
-
- dep: libxrender1 [i386]
- X Rendering Extension client library
-
- dep: tex-common (>= 0.7)
- common infrastructure for building and installing TeX
Download coqide
| Architecture | Package Size | Installed Size | Files |
|---|---|---|---|
| amd64 | 5,099.7 kB | 17,768.0 kB | [list of files] |
| i386 | 4,804.7 kB | 15,780.0 kB | [list of files] |