» Ubuntu » Packages » mantic (23.10) » math » coqide
focal  ] [  jammy  ] [  mantic  ] [  noble  ] [  oracular  ]
[ Source: coq  ]

Package: coqide (8.17.0+dfsg-1build1) [universe]

Links for coqide

Screenshot

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)
  • Benjamin Barenblat
  • Julien Puydt
  • Ralf Treinen
  • Stéphane Glondu

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

External Resources:

Similar packages:

proof assistant for higher-order logic (gtk interface)

Other Packages Related to coqide

  • depends
  • recommends
  • suggests
  • enhances
  • dep: coq (= 8.17.0+dfsg-1build1)
    proof assistant for higher-order logic (toplevel and compiler)
  • dep: libc6 (>= 2.34) [riscv64]
    GNU C Library: Shared libraries
    dep: libc6 (>= 2.35) [not riscv64]
  • 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-0 (>= 2.36.0)
    GLib library of C routines
  • dep: libgtk-3-0 (>= 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

Download coqide

Download for all available architectures
Architecture Package Size Installed Size Files
amd64 2,277.2 kB9,834.0 kB [list of files]
arm64 2,717.7 kB11,290.0 kB [list of files]
armhf 2,116.2 kB6,574.0 kB [list of files]
ppc64el 2,448.9 kB10,650.0 kB [list of files]
riscv64 2,200.5 kB9,800.0 kB [list of files]
s390x 2,355.1 kB10,670.0 kB [list of files]