Information about the apt package "coqide".

Package

coqide

Version

8.6-4build3

Priority

optional

Section

universe/math

Source

coq

Origin

Ubuntu

Maintainer

Ubuntu Developers <ubuntu-devel-discuss@lists.ubuntu.com>

Original Maintainer

Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>

Bugs

https://bugs.launchpad.net/ubuntu/+filebug

Installed Size

7555 kB

Depends

coq (= 8.6-4build3), libcoq-ocaml-z2th6, ocaml-base-nox-4.04.0, libc6 (>= 2.15), libgdk-pixbuf2.0-0 (>= 2.22.0), libglib2.0-0 (>= 2.35.9), libgtk2.0-0 (>= 2.24.0), libgtksourceview2.0-0 (>= 2.10.0), libpango-1.0-0 (>= 1.14.0)

Homepage

http://coq.inria.fr/

Download Size

1505 kB

APT Manual Installed

yes

APT Sources

http://archive.ubuntu.com/ubuntu artful/universe amd64 Packages

Description

proof assistant for higher-order logic (gtk interface)

Install Info

artful,now 8.6-4build3 amd64

Installed Automatically

False

Files

/./
/usr/
/usr/bin/
/usr/bin/coqide*
/usr/lib/
/usr/lib/coq/
/usr/lib/coq/toploop/
/usr/lib/coq/toploop/coqidetop.cma
/usr/lib/coq/toploop/coqidetop.cmxs
/usr/share/
/usr/share/applications/
/usr/share/applications/coqide.desktop
/usr/share/coq/
/usr/share/coq/coq-ssreflect.lang
/usr/share/coq/coq.lang
/usr/share/coq/coq.png
/usr/share/coq/coq_style.xml
/usr/share/doc/
/usr/share/doc/coqide/
/usr/share/doc/coqide/FAQ-CoqIde
/usr/share/doc/coqide/NEWS.Debian.gz -> ../coq-theories/NEWS.Debian.gz
/usr/share/doc/coqide/changelog.Debian.gz -> ../coq-theories/changelog.Debian.gz
/usr/share/doc/coqide/copyright
/usr/share/man/
/usr/share/man/man1/
/usr/share/man/man1/coqide.1.gz
/usr/share/man/man1/coqide.byte.1.gz -> coqide.1.gz
/usr/share/man/man1/coqide.opt.1.gz -> coqide.1.gz
/usr/share/menu/
/usr/share/menu/coqide
/usr/share/pixmaps/
/usr/share/pixmaps/coqide.xpm