Package: libcoq-ocaml
Priority: optional
Section: universe/ocaml
Installed-Size: 7398
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.4pl4dfsg-3build2
Replaces: coq (<< 8.3~), coq-libs, libcoq-ocaml-dev (<< 8.3~)
Provides: libcoq-ocaml-68030
Depends: liblablgtk2-ocaml-ybcn9, ocaml-base-nox-4.02.3, libc6 (>= 2.1.3)
Breaks: coq (<< 8.3~), coq-libs, libcoq-ocaml-dev (<< 8.3~)
Filename: pool/universe/c/coq/libcoq-ocaml_8.4pl4dfsg-3build2_i386.deb
Size: 1392144
MD5sum: 7623a07fe493fa871c04af3ea7c90393
SHA1: 5712d687c23b5353e9cacc4782d723d40e06a5a1
SHA256: 9c611d774e9f86e9ced4beb8ad101771fec27f3f21c565df6430f8e490b0343d
Description: runtime libraries for Coq
Homepage: http://coq.inria.fr/
Description-md5: 6f9fa9509e05b95dc040fa6f750867c3
Bugs: https://bugs.launchpad.net/ubuntu/+filebug
Origin: Ubuntu