» Ubuntu » Paketit » questing (25.10) » math » coqide
[  jammy  ] [  noble  ] [  questing  ] [  resolute  ] [  stonking  ]
[ Source: coq  ]

Paketti: coqide (8.20.1+dfsg-1build1) [universe]

Links for coqide

Screenshot

Ubuntu-palvelut:

Imuroi lähdekoodipaketti coq:

Ylläpitäjä:

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:

Samankaltaisia paketteja:

proof assistant for higher-order logic (gtk interface)

Muut pakettiin coqide liittyvät paketit

  • depends
  • recommends
  • suggests
  • 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

Imuroi coqide

Imurointi kaikille saataville arkkitehtuureille
Arkkitehtuuri Paketin koko Koko asennettuna Tiedostot
arm64 2,579.1 kt10,678.0 kt [tiedostoluettelo]