Package: libcoq-ocaml Priority: optional Section: universe/ocaml Installed-Size: 8352 Maintainer: Ubuntu Developers <ubuntu-devel-discuss@lists.ubuntu.com> Original-Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org> Architecture: amd64 Source: coq Version: 8.4pl4dfsg-3build2 Replaces: coq (<< 8.3~), coq-libs, libcoq-ocaml-dev (<< 8.3~) Provides: libcoq-ocaml-d91z1 Depends: liblablgtk2-ocaml-liqy2, ocaml-base-nox-4.02.3, libc6 (>= 2.2.5) Breaks: coq (<< 8.3~), coq-libs, libcoq-ocaml-dev (<< 8.3~) Filename: pool/universe/c/coq/libcoq-ocaml_8.4pl4dfsg-3build2_amd64.deb Size: 1503766 MD5sum: 40ad3bfc7862c8b6669ea7566a8ad98e SHA1: 58f86014bb8a3fecee2fc8ad9bc1283bd6967c82 SHA256: 6760824bb52b1c1a50b9d372a70742bddd6868ee42ef7d71c4c98344a0ea7837 Description: runtime libraries for Coq Homepage: http://coq.inria.fr/ Description-md5: 6f9fa9509e05b95dc040fa6f750867c3 Bugs: https://bugs.launchpad.net/ubuntu/+filebug Origin: Ubuntu