не показывать навигацию

Packages

• About Debian
• Getting Debian
• Support
• Developers' Corner

Ссылки для rocqide

Ресурсы Debian:

• Сообщения об ошибках
• Developer Information
• Debian журнал изменений
• Файл авторских прав
• Отслеживание заплат Debian

Исходный код coq:

• [coq_9.1.0+dfsg-1.dsc]
• [coq_9.1.0+dfsg.orig.tar.xz]
• [coq_9.1.0+dfsg-1.debian.tar.xz]

Сопровождающие:

• Debian OCaml Maintainers (Страница КК, Почтовый архив)
• Benjamin Barenblat (Страница КК)
• Julien Puydt (Страница КК)
• Ralf Treinen (Страница КК)
• Stéphane Glondu (Страница КК)

Внешние ресурсы:

• Сайт [coq.inria.fr]

Подобные пакеты:

• coqide
• coq
• libcoq-stdlib
• coq-theories
• libcoq-core
• libcoq-interval
• libcoq-libhyps
• libcoq-iris
• libcoq-math-classes
• libcoq-reduction-effects
• libcoq-paramcoq

Другие пакеты, относящиеся к rocqide

• dep: coq (= 9.1.0+dfsg-1)

  интерактивное программное средство доказательства теорем для логики высшего порядка (интерактивная среда и компилятор)

• dep: libc6 (>= 2.38)

  библиотека GNU C: динамически подключаемые библиотеки
  также виртуальный пакет, предоставляемый libc6-udeb

• dep: libcairo2 (>= 1.12.0)

  библиотека для двухмерной векторной графики Cairo

• dep: libfontconfig1 (>= 2.12.6)

  общая библиотека настроек шрифтов (динамическая версия)

• dep: libfreetype6 (>= 2.2.1)

  движок отрисовки шрифтов FreeType 2 (динамически загружаемые библиотеки)

• dep: libgdk-pixbuf-2.0-0 (>= 2.22.0)

  библиотека GDK Pixbuf

• dep: libglib2.0-0t64 (>= 2.36.0)

  библиотека С-функций

• dep: libgtk-3-0t64 (>= 3.11.5)

  библиотека графического пользовательского интерфейса GTK

• dep: libgtksourceview-3.0-1 (>= 2.91.4)

  графический элемент GTK+ с подсветкой синтаксиса — библиотека

• dep: libpango-1.0-0 (>= 1.14.0)

  библиотека компоновки и отрисовки текста на разных языках

Загрузка rocqide