» Ubuntu » Paket » mantic (23.10) » math » coqide
focal  ] [  jammy  ] [  mantic  ] [  noble  ] [  oracular  ]
[ Källkod: coq  ]

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

Länkar för coqide

Screenshot

Ubunturesurser:

Hämta källkodspaketet coq:

Ansvarig:

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

Original Maintainers (usually from Debian):

  • Debian OCaml Maintainers (E-postarkiv)
  • Benjamin Barenblat
  • Julien Puydt
  • Ralf Treinen
  • Stéphane Glondu

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

Externa resurser:

Liknande paket:

proof assistant for higher-order logic (gtk interface)

Andra paket besläktade med coqide

  • beror
  • rekommenderar
  • föreslår
  • 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) [ej 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

Hämta coqide

Hämtningar för alla tillgängliga arkitekturer
Arkitektur Paketstorlek Installerad storlek Filer
amd64 2.277,2 kbyte9.834,0 kbyte [filförteckning]
arm64 2.717,7 kbyte11.290,0 kbyte [filförteckning]
armhf 2.116,2 kbyte6.574,0 kbyte [filförteckning]
ppc64el 2.448,9 kbyte10.650,0 kbyte [filförteckning]
riscv64 2.200,5 kbyte9.800,0 kbyte [filförteckning]
s390x 2.355,1 kbyte10.670,0 kbyte [filförteckning]