[  hardy  ] [  lucid  ] [  natty  ] [  oneiric  ] [  precise  ] [  quantal  ]

[ Source: coq  ]

Links for coqide

Ubuntu Resources:

• Bug Reports
• Ubuntu Changelog
• Copyright File

Download Source Package coq:

• [coq_8.2.pl2+dfsg-1ubuntu1.dsc]
• [coq_8.2.pl2+dfsg.orig.tar.gz]
• [coq_8.2.pl2+dfsg-1ubuntu1.debian.tar.gz]

Maintainer:

• Ubuntu MOTU Developers (Mail Archive)

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)
• Ralf Treinen
• Samuel Mimram
• Stéphane Glondu

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

External Resources:

• Homepage [coq.inria.fr]

Similar packages:

• coq
• coq-theories
• coq-libs
• coq-doc-html
• coq-doc-pdf
• coq-doc
• libcoq-ocaml-dev
• proofgeneral
• minlog
• proofgeneral-misc
• proofgeneral-doc

Other Packages Related to coqide

depends

recommends

suggests

• dep: coq (= 8.2.pl2+dfsg-1ubuntu1)

  proof assistant for higher-order logic (toplevel and compiler)

• dep: libatk1.0-0 (>= 1.29.3)

  The ATK accessibility toolkit

• dep: libc6 (>= 2.11)

  Embedded GNU C Library: Shared libraries
  also a virtual package provided by libc6-udeb

• dep: libcairo2 (>= 1.2.4)

  The Cairo 2D vector graphics library

• dep: libfontconfig1 (>= 2.8.0)

  generic font configuration library - runtime

• dep: libfreetype6 (>= 2.2.1)

  FreeType 2 font engine, shared library files

• dep: libgdk-pixbuf2.0-0 (>= 2.21.6)

  GDK Pixbuf library

• dep: libglib2.0-0 (>= 2.16.0)

  The GLib library of C routines

• dep: libgtk2.0-0 (>= 2.12.0)

  The GTK+ graphical user interface library

• dep: liblablgtk2-ocaml-h3pg1 [amd64]

  virtual package provided by liblablgtk2-ocaml

• dep: liblablgtk2-ocaml-t1zm6 [i386]

  virtual package provided by liblablgtk2-ocaml

• dep: libpango1.0-0 (>= 1.14.0)

  Layout and rendering of internationalized text

• dep: ocaml-base-nox-3.11.2

  virtual package provided by ocaml-base-nox

Download coqide

Download for all available architectures

Architecture	Package Size	Installed Size	Files
amd64	6,274.4 kB	21,552.0 kB	[list of files]
i386	5,760.5 kB	18,372.0 kB	[list of files]