[ Source: coq ]
Package: coqide (8.6-5 and others)
Links for coqide
Debian Resources:
Download Source Package coq:
Maintainers:
- Debian OCaml Maintainers (QA Page, Mail Archive)
- Ralf Treinen (QA Page)
- Samuel Mimram (QA Page)
- Stéphane Glondu (QA Page)
- Enrico Tassi (QA Page)
External Resources:
- Homepage [coq.inria.fr]
Similar packages:
proof assistant for higher-order logic (gtk interface)
Coq is a proof assistant for higher-order logic, which allows the development of computer programs consistent with their formal specification. It is developed using Objective Caml and Camlp5.
This package provides CoqIde, a graphical user interface for developing proofs.
Other Packages Related to coqide
|
|
|
|
-
- dep: coq (= 8.6-4+b2) [hppa]
- proof assistant for higher-order logic (toplevel and compiler)
- dep: coq (= 8.6-5) [not armhf, hppa, m68k]
- dep: coq (= 8.6-5+b1) [armhf]
- dep: coq (>= 8.0) [m68k]
-
- dep: libatk1.0-0 (>= 1.12.4) [amd64, arm64, armhf, hurd-i386, i386, kfreebsd-amd64, kfreebsd-i386, powerpc, ppc64, ppc64el, s390x]
- ATK accessibility toolkit
- dep: libatk1.0-0 (>= 1.20.0) [m68k]
-
- dep: libc0.1 (>= 2.17-91) [kfreebsd-amd64, kfreebsd-i386]
- GNU C Library: Shared libraries
also a virtual package provided by libc0.1-udeb
-
- dep: libc0.3 (>= 2.22) [hurd-i386]
- GNU C Library: Shared libraries
also a virtual package provided by libc0.3-udeb
-
- dep: libc6 (>= 2.17) [amd64, arm64, armhf, i386, powerpc, ppc64, ppc64el, s390x]
- GNU C Library: Shared libraries
also a virtual package provided by libc6-udeb
- dep: libc6 (>= 2.5-5) [m68k]
-
- dep: libcairo2 (>= 1.2.4) [not alpha, armel, hppa, mips, mips64el, mipsel, powerpcspe, sh4, sparc64, x32]
- Cairo 2D vector graphics library
-
- dep: libcoq-ocaml-09z78 [arm64]
- virtual package provided by libcoq-ocaml
-
- dep: libcoq-ocaml-2amz8 [armhf]
- virtual package provided by libcoq-ocaml
-
- dep: libcoq-ocaml-5sy97 [ppc64]
- virtual package provided by libcoq-ocaml
-
- dep: libcoq-ocaml-7cs63 [amd64]
- virtual package provided by libcoq-ocaml
-
- dep: libcoq-ocaml-7gn58 [powerpc]
- virtual package provided by libcoq-ocaml
-
- dep: libcoq-ocaml-ehiw9 [ppc64el]
- virtual package provided by libcoq-ocaml
-
- dep: libcoq-ocaml-eqz92 [alpha, armel, mips, mips64el, mipsel, powerpcspe, sh4, sparc64, x32]
- virtual package provided by libcoq-ocaml
-
- dep: libcoq-ocaml-ized0 [s390x]
- virtual package provided by libcoq-ocaml
-
- dep: libcoq-ocaml-m1va0 [kfreebsd-i386]
- virtual package provided by libcoq-ocaml
-
- dep: libcoq-ocaml-sie24 [hurd-i386]
- virtual package provided by libcoq-ocaml
-
- dep: libcoq-ocaml-sniz6 [kfreebsd-amd64]
- virtual package provided by libcoq-ocaml
-
- dep: libcoq-ocaml-uf2n8 [i386]
- virtual package provided by libcoq-ocaml
-
- dep: libcoq-ocaml-uqoh2 [hppa]
- virtual package provided by libcoq-ocaml
-
- dep: libfontconfig1 (>= 2.12) [amd64, arm64, armhf, hurd-i386, i386, kfreebsd-amd64, kfreebsd-i386, powerpc, ppc64, ppc64el, s390x]
- generic font configuration library - runtime
-
- dep: libfreetype6 (>= 2.2.1) [amd64, arm64, armhf, hurd-i386, i386, kfreebsd-amd64, kfreebsd-i386, powerpc, ppc64, ppc64el, s390x]
- FreeType 2 font engine, shared library files
-
- dep: libgdk-pixbuf2.0-0 (>= 2.22.0) [amd64, arm64, armhf, hurd-i386, i386, kfreebsd-amd64, kfreebsd-i386, powerpc, ppc64, ppc64el, s390x]
- GDK Pixbuf library
-
- dep: libglib2.0-0 (>= 2.12.0) [m68k]
- GLib library of C routines
- dep: libglib2.0-0 (>= 2.35.9) [amd64, arm64, armhf, hurd-i386, i386, kfreebsd-amd64, kfreebsd-i386, powerpc, ppc64, ppc64el, s390x]
-
- dep: libgtk2.0-0 (>= 2.12.0) [m68k]
- GTK+ graphical user interface library
- dep: libgtk2.0-0 (>= 2.24.0) [amd64, arm64, armhf, hurd-i386, i386, kfreebsd-amd64, kfreebsd-i386, powerpc, ppc64, ppc64el, s390x]
-
- dep: libgtksourceview2.0-0 (>= 2.10.0) [amd64, arm64, armhf, hurd-i386, i386, kfreebsd-amd64, kfreebsd-i386, powerpc, ppc64, ppc64el, s390x]
- shared libraries for the GTK+ syntax highlighting widget
-
- dep: liblablgtk2-ocaml-aq7x2 [alpha, armel, mips, mips64el, mipsel, powerpcspe, sh4, sparc64, x32]
- virtual package provided by liblablgtk2-ocaml
-
- dep: liblablgtk2-ocaml-qq3o1 [hppa]
- Package not available
-
- dep: liblablgtksourceview2-ocaml-c2558 [alpha, armel, mips, mips64el, mipsel, powerpcspe, sh4, sparc64, x32]
- virtual package provided by liblablgtksourceview2-ocaml
-
- dep: liblablgtksourceview2-ocaml-qs5h9 [hppa]
- Package not available
-
- dep: libncurses5 (>= 5.6+20071006-3) [m68k]
- shared libraries for terminal handling
-
- dep: libpango-1.0-0 (>= 1.14.0) [amd64, arm64, armhf, hurd-i386, i386, kfreebsd-amd64, kfreebsd-i386, powerpc, ppc64, ppc64el, s390x]
- Layout and rendering of internationalized text
-
- dep: libpango1.0-0 (>= 1.20.2) [m68k]
- Layout and rendering of internationalized text (transitional package)
-
- dep: libpangocairo-1.0-0 (>= 1.14.0) [amd64, arm64, armhf, hurd-i386, i386, kfreebsd-amd64, kfreebsd-i386, powerpc, ppc64, ppc64el, s390x]
- Layout and rendering of internationalized text
-
- dep: libpangoft2-1.0-0 (>= 1.14.0) [amd64, arm64, armhf, hurd-i386, i386, kfreebsd-amd64, kfreebsd-i386, powerpc, ppc64, ppc64el, s390x]
- Layout and rendering of internationalized text
-
- dep: ocaml-base-nox-4.02.3 [hppa]
- Package not available
-
- dep: ocaml-base-nox-4.05.0 [not hppa, m68k]
- virtual package provided by ocaml-base-nox
-
- dep: tex-common (>= 1.10) [m68k]
- common infrastructure for building and installing TeX
Download coqide
Architecture | Version | Package Size | Installed Size | Files |
---|---|---|---|---|
alpha (unofficial port) | 8.6-5 | 1,924.5 kB | 7,435.0 kB | [list of files] |
amd64 | 8.6-5 | 1,569.1 kB | 7,722.0 kB | [list of files] |
arm64 | 8.6-5 | 1,709.2 kB | 8,381.0 kB | [list of files] |
armel | 8.6-5 | 1,924.6 kB | 7,435.0 kB | [list of files] |
armhf | 8.6-5+b1 | 1,470.1 kB | 5,134.0 kB | [list of files] |
hppa (unofficial port) | 8.6-4+b2 | 1,847.0 kB | 7,067.0 kB | [list of files] |
hurd-i386 | 8.6-5 | 1,299.2 kB | 4,984.0 kB | [list of files] |
i386 | 8.6-5 | 1,415.0 kB | 6,164.0 kB | [list of files] |
kfreebsd-amd64 | 8.6-5 | 1,567.1 kB | 7,727.0 kB | [list of files] |
kfreebsd-i386 | 8.6-5 | 1,413.7 kB | 6,160.0 kB | [list of files] |
m68k (unofficial port) | 8.1.pl3+dfsg-1+b2 | 2,363.1 kB | 8,880.0 kB | [list of files] |
mips | 8.6-5 | 1,924.7 kB | 7,435.0 kB | [list of files] |
mips64el | 8.6-5 | 1,924.4 kB | 7,435.0 kB | [list of files] |
mipsel | 8.6-5 | 1,924.4 kB | 7,435.0 kB | [list of files] |
powerpc | 8.6-5 | 1,439.2 kB | 7,149.0 kB | [list of files] |
powerpcspe (unofficial port) | 8.6-5 | 1,924.4 kB | 7,435.0 kB | [list of files] |
ppc64 (unofficial port) | 8.6-5 | 1,670.7 kB | 9,883.0 kB | [list of files] |
ppc64el | 8.6-5 | 1,681.4 kB | 8,795.0 kB | [list of files] |
s390x | 8.6-5 | 1,766.8 kB | 9,279.0 kB | [list of files] |
sh4 (unofficial port) | 8.6-5 | 1,924.3 kB | 7,435.0 kB | [list of files] |
sparc64 (unofficial port) | 8.6-5 | 1,924.6 kB | 7,435.0 kB | [list of files] |
x32 (unofficial port) | 8.6-5 | 1,924.3 kB | 7,435.0 kB | [list of files] |