[ Исходник: coq ]
Пакет: coqide (8.1.pl3+dfsg-1) [universe]
Ссылки для coqide
Ресурсы Ubuntu:
Загрузка пакета исходного кода coq:
Сопровождающий:
Please consider filing a bug or asking a question via Launchpad before contacting the maintainer directly.
Original Maintainers (usually from Debian):
- Debian OCaml Maintainers (Почтовый архив)
- Ralf Treinen
- Remi Vanicat
- Stefano Zacchiroli
- Samuel Mimram
It should generally not be necessary for users to contact the original maintainer.
Подобные пакеты:
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.
Другие пакеты, относящиеся к coqide
|
|
|
-
- dep: coq (>= 8.0)
- proof assistant for higher-order logic (toplevel and compiler)
-
- dep: libatk1.0-0 (>= 1.20.0)
- ATK инструментарий доступности
-
- dep: libc6 (>= 2.7-1)
- библиотека GNU C: динамически подключаемые библиотеки
также виртуальный пакет, предоставляемый 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)
- библиотека GLib C процедур
-
- dep: libgtk2.0-0 (>= 2.12.0)
- The GTK+ graphical user interface library
-
- dep: libncurses5 (>= 5.6+20071006-3)
- Разделяемые библиотеки для управления терминалами
-
- dep: libpango1.0-0 (>= 1.19.2)
- Layout and rendering of internationalized text
-
- dep: libx11-6 [i386]
- библиотека X11 для клиентской стороны
-
- dep: libxcomposite1 (>= 1:0.3-1) [i386]
- X11 Composite extension library
-
- dep: libxcursor1 (>> 1.1.2) [i386]
- библиотека для задания формы курсора в графической системе X
-
- 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
Загрузка coqide
| Архитектура | Размер пакета | В установленном виде | Файлы |
|---|---|---|---|
| amd64 | 5 099,7 Кб | 17768 Кб | [список файлов] |
| i386 | 4 804,7 Кб | 15780 Кб | [список файлов] |