Package: libcoq-ocaml-dev
Priority: optional
Section: universe/libdevel
Installed-Size: 21592
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.2-1+dfsg-1), coq-libs (<< 8.2.pl1)
Provides: libcoq-ocaml-dev-ajad9
Depends: coq (= 8.4pl3dfsg-1), camlp5-2by42, libcoq-ocaml-ajad9, liblablgtk2-ocaml-dev-esng5, ocaml-nox-4.01.0, libc6 (>= 2.15)
Breaks: coq (<< 8.2-1+dfsg-1), coq-libs (<< 8.2.pl1)
Filename: pool/universe/c/coq/libcoq-ocaml-dev_8.4pl3dfsg-1_i386.deb
Size: 3649360
MD5sum: f10263462fdbf1b74f3fc60301652df6
SHA1: e8fdbb268f80e62feea44363aa23969b51ee6bea
SHA256: 578c9a7b0fc7543cf3a1bcfdf0fb672dd01682afa21b10fef7dd1a34413b7202
Description: development libraries and tools for Coq
Homepage: http://coq.inria.fr/
Description-md5: 20fc8d3bd8105efbd11433f6f367dc08
Bugs: https://bugs.launchpad.net/ubuntu/+filebug
Origin: Ubuntu