[ Source: coq ]
Package: coqide (8.3.pl3+dfsg-1 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)
External Resources:
- Homepage [coq.inria.fr]
Similar packages:
proof assistant for higher-order logic (gtk interface)
Other Packages Related to coqide
|
|
|
-
- dep: coq (= 8.2.pl2+dfsg-2) [hppa, powerpcspe]
- proof assistant for higher-order logic (toplevel and compiler)
- dep: coq (= 8.3.pl2+dfsg-1) [sparc64]
- dep: coq (= 8.3.pl3+dfsg-1) [not hppa, m68k, powerpcspe, sparc64]
- dep: coq (>= 8.0) [m68k]
-
- dep: libatk1.0-0 (>= 1.12.4) [amd64, armel, hurd-i386, i386, kfreebsd-amd64, kfreebsd-i386, powerpc, sparc]
- ATK accessibility toolkit
- dep: libatk1.0-0 (>= 1.20.0) [m68k]
-
- dep: libc0.1 (>= 2.7) [kfreebsd-amd64, kfreebsd-i386]
- Embedded GNU C Library: Shared libraries
also a virtual package provided by libc0.1-udeb
-
- dep: libc0.3 (>= 2.7) [hurd-i386]
- Embedded GNU C Library: Shared libraries
also a virtual package provided by libc0.3-udeb
-
- dep: libc6 (>= 2.5-5) [m68k]
- Embedded GNU C Library: Shared libraries
also a virtual package provided by libc6-udeb
- dep: libc6 (>= 2.7) [amd64, armel, i386, powerpc, sparc]
-
- dep: libcairo2 (>= 1.2.4) [amd64, armel, hurd-i386, i386, kfreebsd-amd64, kfreebsd-i386, m68k, powerpc, sparc]
- The Cairo 2D vector graphics library
-
- dep: libcoq-ocaml-4zyg6 [amd64, kfreebsd-amd64]
- virtual package provided by libcoq-ocaml
-
- dep: libcoq-ocaml-9dj37 [alpha, armhf, ia64, mips, mipsel, s390, sh4]
- virtual package provided by libcoq-ocaml
-
- dep: libcoq-ocaml-d18p3 [armel]
- virtual package provided by libcoq-ocaml
-
- dep: libcoq-ocaml-ib824 [hurd-i386, i386, kfreebsd-i386, powerpc, sparc]
- virtual package provided by libcoq-ocaml
-
- dep: libcoq-ocaml-rn5x5 [sparc64]
- virtual package provided by libcoq-ocaml
-
- dep: libfontconfig1 (>= 2.8.0) [amd64, armel, hurd-i386, i386, kfreebsd-amd64, kfreebsd-i386, powerpc, sparc]
- generic font configuration library - runtime
-
- dep: libfreetype6 (>= 2.2.1) [amd64, armel, hurd-i386, i386, kfreebsd-amd64, kfreebsd-i386, powerpc, sparc]
- FreeType 2 font engine, shared library files
-
- dep: libgcc1 (>= 1:4.4.0) [armel]
- GCC support library
-
- dep: libgdk-pixbuf2.0-0 (>= 2.22.0) [amd64, armel, hurd-i386, i386, kfreebsd-amd64, kfreebsd-i386, powerpc, sparc]
- GDK Pixbuf library
-
- dep: libglib2.0-0 (>= 2.12.0) [m68k]
- GLib library of C routines
- dep: libglib2.0-0 (>= 2.24.0) [amd64, armel, hurd-i386, i386, kfreebsd-amd64, kfreebsd-i386, powerpc, sparc]
-
- dep: libgtk2.0-0 (>= 2.12.0) [m68k]
- GTK+ graphical user interface library
- dep: libgtk2.0-0 (>= 2.24.0) [amd64, armel, hurd-i386, i386, kfreebsd-amd64, kfreebsd-i386, powerpc, sparc]
-
- dep: liblablgtk2-ocaml-v69e2 [armel, hurd-i386, i386, kfreebsd-i386, powerpc, sparc]
- virtual package provided by liblablgtk2-ocaml
-
- dep: liblablgtk2-ocaml-wj7t0 [hppa, powerpcspe]
- virtual package provided by liblablgtk2-ocaml
-
- dep: liblablgtk2-ocaml-yeug0 [alpha, armhf, ia64, mips, mipsel, s390, sh4, sparc64]
- virtual package provided by liblablgtk2-ocaml
-
- dep: liblablgtk2-ocaml-yfv67 [amd64, kfreebsd-amd64]
- virtual package provided by liblablgtk2-ocaml
-
- dep: libncurses5 (>= 5.6+20071006-3) [m68k]
- shared libraries for terminal handling
-
- dep: libpango1.0-0 (>= 1.14.0) [amd64, armel, hurd-i386, i386, kfreebsd-amd64, kfreebsd-i386, powerpc, sparc]
- Layout and rendering of internationalized text
- dep: libpango1.0-0 (>= 1.20.2) [m68k]
-
- dep: ocaml-base-nox-3.11.2 [hppa, powerpcspe]
- virtual package provided by ocaml-base-nox
-
- dep: ocaml-base-nox-3.12.0 [sparc64]
- virtual package provided by ocaml-base-nox
-
- dep: ocaml-base-nox-3.12.1 [not hppa, m68k, powerpcspe, sparc64]
- 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.3.pl3+dfsg-1 | 2,475.8 kB | 9,394.0 kB | [list of files] |
| amd64 | 8.3.pl3+dfsg-1 | 5,478.8 kB | 18,481.0 kB | [list of files] |
| armel | 8.3.pl3+dfsg-1 | 5,989.8 kB | 18,492.0 kB | [list of files] |
| armhf | 8.3.pl3+dfsg-1 | 2,476.1 kB | 9,394.0 kB | [list of files] |
| hppa | 8.2.pl2+dfsg-2 | 2,367.7 kB | 8,992.0 kB | [list of files] |
| hurd-i386 | 8.3.pl3+dfsg-1 | 5,096.9 kB | 15,936.0 kB | [list of files] |
| i386 | 8.3.pl3+dfsg-1 | 5,103.2 kB | 15,936.0 kB | [list of files] |
| ia64 | 8.3.pl3+dfsg-1 | 2,474.2 kB | 9,335.0 kB | [list of files] |
| kfreebsd-amd64 | 8.3.pl3+dfsg-1 | 5,477.5 kB | 18,425.0 kB | [list of files] |
| kfreebsd-i386 | 8.3.pl3+dfsg-1 | 5,097.5 kB | 15,883.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.3.pl3+dfsg-1 | 2,475.3 kB | 9,394.0 kB | [list of files] |
| mipsel | 8.3.pl3+dfsg-1 | 2,473.8 kB | 9,394.0 kB | [list of files] |
| powerpc | 8.3.pl3+dfsg-1 | 5,501.7 kB | 16,534.0 kB | [list of files] |
| powerpcspe (unofficial port) | 8.2.pl2+dfsg-2 | 2,367.7 kB | 8,992.0 kB | [list of files] |
| s390 | 8.3.pl3+dfsg-1 | 2,474.0 kB | 9,394.0 kB | [list of files] |
| sh4 (unofficial port) | 8.3.pl3+dfsg-1 | 2,475.6 kB | 9,394.0 kB | [list of files] |
| sparc | 8.3.pl3+dfsg-1 | 5,361.0 kB | 16,443.0 kB | [list of files] |
| sparc64 (unofficial port) | 8.3.pl2+dfsg-1 | 2,469.1 kB | 9,424.0 kB | [list of files] |
