[ Källkod: coq ]
Paket: coqide (8.1.pl3+dfsg-1) [universe]
Länkar för coqide
Ubunturesurser:
Hämta källkodspaketet coq:
Ansvarig:
Please consider filing a bug or asking a question via Launchpad before contacting the maintainer directly.
Original Maintainers (usually from Debian):
- Debian OCaml Maintainers (E-postarkiv)
- Ralf Treinen
- Remi Vanicat
- Stefano Zacchiroli
- Samuel Mimram
It should generally not be necessary for users to contact the original maintainer.
Liknande paket:
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.
Andra paket besläktade med 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-bibliotek: Delade bibliotek
också ett virtuellt paket som tillhandahålls av 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)
- Delade bibliotek för terminalhantering
-
- 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
Hämta coqide
| Arkitektur | Paketstorlek | Installerad storlek | Filer |
|---|---|---|---|
| amd64 | 5.099,7 kbyte | 17768 kbyte | [filförteckning] |
| i386 | 4.804,7 kbyte | 15780 kbyte | [filförteckning] |