» Ubuntu » Пакеты » questing (25.10) » math » coqide
[  jammy  ] [  noble  ] [  questing  ] [  resolute  ] [  stonking  ]
[ Источник: coq  ]

Пакет: coqide (8.20.1+dfsg-1build1) [universe]

Ссылки для coqide

Screenshot

Ресурсы Ubuntu:

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

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

Please consider filing a bug or asking a question via Launchpad before contacting the maintainer directly.

Original Maintainers (usually from Debian):

It should generally not be necessary for users to contact the original maintainer.

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

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

proof assistant for higher-order logic (gtk interface)

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

  • зависимости
  • рекомендации
  • предложения
  • enhances
  • dep: coq (= 8.20.1+dfsg-1build1)
    proof assistant for higher-order logic (toplevel and compiler)
  • dep: libc6 (>= 2.38)
    GNU C Library: Shared libraries
  • dep: libcairo2 (>= 1.12.0)
    Cairo 2D vector graphics library
  • dep: libfontconfig1 (>= 2.12.6)
    generic font configuration library - runtime
  • dep: libfreetype6 (>= 2.2.1)
    FreeType 2 font engine, shared library files
  • dep: libgdk-pixbuf-2.0-0 (>= 2.22.0)
    GDK Pixbuf library
  • dep: libglib2.0-0t64 (>= 2.36.0)
    GLib library of C routines
  • dep: libgtk-3-0t64 (>= 3.11.5)
    GTK graphical user interface library
  • dep: libgtksourceview-3.0-1 (>= 2.91.4)
    shared libraries for the GTK+ syntax highlighting widget
  • dep: libpango-1.0-0 (>= 1.14.0)
    Layout and rendering of internationalized text

Загрузка coqide

Загрузить для всех доступных архитектур
Архитектура Размер пакета В установленном виде Файлы
arm64 2 579,1 Кб10 678,0 Кб [список файлов]