libcoq-ocaml • apt package info

Information about the apt package "libcoq-ocaml".

Package

libcoq-ocaml

Version

8.6-4build3

Priority

optional

Section

universe/ocaml

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

15.9 MB

Provides

libcoq-ocaml-z2th6

Depends

liblablgtk2-ocaml-uq311, liblablgtksourceview2-ocaml-lnqv4, ocaml-base-nox-4.04.0, libc6 (>= 2.2.5)

Breaks

coq (<< 8.3~), coq-libs, libcoq-ocaml-dev (<< 8.3~)

Replaces

coq (<< 8.3~), coq-libs, libcoq-ocaml-dev (<< 8.3~)

Homepage

http://coq.inria.fr/

Download Size

3571 kB

APT Manual Installed

APT Sources

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

Description

runtime libraries for Coq

Install Info

artful,now 8.6-4build3 amd64

Installed Automatically

True

Files

/./
/usr/
/usr/lib/
/usr/lib/coq/
/usr/lib/coq/plugins/
/usr/lib/coq/plugins/btauto/
/usr/lib/coq/plugins/btauto/btauto_plugin.cmo
/usr/lib/coq/plugins/btauto/btauto_plugin.cmxs
/usr/lib/coq/plugins/cc/
/usr/lib/coq/plugins/cc/cc_plugin.cmo
/usr/lib/coq/plugins/cc/cc_plugin.cmxs
/usr/lib/coq/plugins/decl_mode/
/usr/lib/coq/plugins/decl_mode/decl_mode_plugin.cmo
/usr/lib/coq/plugins/decl_mode/decl_mode_plugin.cmxs
/usr/lib/coq/plugins/derive/
/usr/lib/coq/plugins/derive/derive_plugin.cmo
/usr/lib/coq/plugins/derive/derive_plugin.cmxs
/usr/lib/coq/plugins/extraction/
/usr/lib/coq/plugins/extraction/extraction_plugin.cmo
/usr/lib/coq/plugins/extraction/extraction_plugin.cmxs
/usr/lib/coq/plugins/firstorder/
/usr/lib/coq/plugins/firstorder/ground_plugin.cmo
/usr/lib/coq/plugins/firstorder/ground_plugin.cmxs
/usr/lib/coq/plugins/fourier/
/usr/lib/coq/plugins/fourier/fourier_plugin.cmo
/usr/lib/coq/plugins/fourier/fourier_plugin.cmxs
/usr/lib/coq/plugins/funind/
/usr/lib/coq/plugins/funind/recdef_plugin.cmo
/usr/lib/coq/plugins/funind/recdef_plugin.cmxs
/usr/lib/coq/plugins/micromega/
/usr/lib/coq/plugins/micromega/micromega_plugin.cmo
/usr/lib/coq/plugins/micromega/micromega_plugin.cmxs
/usr/lib/coq/plugins/nsatz/
/usr/lib/coq/plugins/nsatz/nsatz_plugin.cmo
/usr/lib/coq/plugins/nsatz/nsatz_plugin.cmxs
/usr/lib/coq/plugins/omega/
/usr/lib/coq/plugins/omega/omega_plugin.cmo
/usr/lib/coq/plugins/omega/omega_plugin.cmxs
/usr/lib/coq/plugins/quote/
/usr/lib/coq/plugins/quote/quote_plugin.cmo
/usr/lib/coq/plugins/quote/quote_plugin.cmxs
/usr/lib/coq/plugins/romega/
/usr/lib/coq/plugins/romega/romega_plugin.cmo
/usr/lib/coq/plugins/romega/romega_plugin.cmxs
/usr/lib/coq/plugins/rtauto/
/usr/lib/coq/plugins/rtauto/rtauto_plugin.cmo
/usr/lib/coq/plugins/rtauto/rtauto_plugin.cmxs
/usr/lib/coq/plugins/setoid_ring/
/usr/lib/coq/plugins/setoid_ring/newring_plugin.cmo
/usr/lib/coq/plugins/setoid_ring/newring_plugin.cmxs
/usr/lib/coq/plugins/ssrmatching/
/usr/lib/coq/plugins/ssrmatching/ssrmatching_plugin.cmo
/usr/lib/coq/plugins/ssrmatching/ssrmatching_plugin.cmxs
/usr/lib/coq/plugins/syntax/
/usr/lib/coq/plugins/syntax/ascii_syntax_plugin.cmo
/usr/lib/coq/plugins/syntax/ascii_syntax_plugin.cmxs
/usr/lib/coq/plugins/syntax/nat_syntax_plugin.cmo
/usr/lib/coq/plugins/syntax/nat_syntax_plugin.cmxs
/usr/lib/coq/plugins/syntax/numbers_syntax_plugin.cmo
/usr/lib/coq/plugins/syntax/numbers_syntax_plugin.cmxs
/usr/lib/coq/plugins/syntax/r_syntax_plugin.cmo
/usr/lib/coq/plugins/syntax/r_syntax_plugin.cmxs
/usr/lib/coq/plugins/syntax/string_syntax_plugin.cmo
/usr/lib/coq/plugins/syntax/string_syntax_plugin.cmxs
/usr/lib/coq/plugins/syntax/z_syntax_plugin.cmo
/usr/lib/coq/plugins/syntax/z_syntax_plugin.cmxs
/usr/lib/coq/toploop/
/usr/lib/coq/toploop/proofworkertop.cma
/usr/lib/coq/toploop/proofworkertop.cmxs
/usr/lib/coq/toploop/queryworkertop.cma
/usr/lib/coq/toploop/queryworkertop.cmxs
/usr/lib/coq/toploop/tacworkertop.cma
/usr/lib/coq/toploop/tacworkertop.cmxs
/usr/lib/ocaml/
/usr/lib/ocaml/stublibs/
/usr/lib/ocaml/stublibs/dllcoqrun.so
/usr/share/
/usr/share/doc/
/usr/share/doc/libcoq-ocaml/
/usr/share/doc/libcoq-ocaml/NEWS.Debian.gz
/usr/share/doc/libcoq-ocaml/changelog.Debian.gz
/usr/share/doc/libcoq-ocaml/copyright
/usr/share/lintian/
/usr/share/lintian/overrides/
/usr/share/lintian/overrides/libcoq-ocaml