Package: libcoq-ocaml
Priority: optional
Section: universe/ocaml
Installed-Size: 7785
Maintainer: Ubuntu Developers <ubuntu-devel-discuss@lists.ubuntu.com>
Original-Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
Architecture: i386
Source: coq
Version: 8.4pl3dfsg-1
Replaces: coq (<< 8.3~), coq-libs, libcoq-ocaml-dev (<< 8.3~)
Provides: libcoq-ocaml-ajad9
Depends: liblablgtk2-ocaml-esng5, ocaml-base-nox-4.01.0, libc6 (>= 2.1.3)
Breaks: coq (<< 8.3~), coq-libs, libcoq-ocaml-dev (<< 8.3~)
Filename: pool/universe/c/coq/libcoq-ocaml_8.4pl3dfsg-1_i386.deb
Size: 1434144
MD5sum: d4ebd4c1fe2a6530bf3c3d9115d4d3da
SHA1: 00d78641e5123c85b20937efaac58ad650bc72ab
SHA256: ca293fbc51221e6126e7f26eb860a63060dba3db58217f8eeeb5250bf7a1baf0
Description: runtime libraries for Coq
Homepage: http://coq.inria.fr/
Description-md5: 6f9fa9509e05b95dc040fa6f750867c3
Bugs: https://bugs.launchpad.net/ubuntu/+filebug
Origin: Ubuntu