Package: libcoq-ocaml-dev
Priority: optional
Section: universe/libdevel
Installed-Size: 22580
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.2-1+dfsg-1), coq-libs (<< 8.2.pl1)
Provides: libcoq-ocaml-dev-68030
Depends: coq (= 8.4pl4dfsg-3build2), camlp5-4bgd8, libcoq-ocaml-68030, liblablgtk2-ocaml-dev-ybcn9, ocaml-nox-4.02.3, libc6 (>= 2.15)
Breaks: coq (<< 8.2-1+dfsg-1), coq-libs (<< 8.2.pl1)
Filename: pool/universe/c/coq/libcoq-ocaml-dev_8.4pl4dfsg-3build2_i386.deb
Size: 3734144
MD5sum: cabfacad62e117e62ca4e5ebe8fd27ec
SHA1: bf10c6dc48bd435101920a6d72551de141a71344
SHA256: 6dfe68e666a2a6261ea06470fb311f1413f6e939423c5c6149e9af68bf9e34cc
Description: development libraries and tools for Coq
Homepage: http://coq.inria.fr/
Description-md5: 20fc8d3bd8105efbd11433f6f367dc08
Bugs: https://bugs.launchpad.net/ubuntu/+filebug
Origin: Ubuntu