Package: libcoq-ocaml-dev
Source: coq
Version: 8.4pl3dfsg-1
Installed-Size: 8808
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
Architecture: ia64
Replaces: coq (<< 8.2-1+dfsg-1), coq-libs (<< 8.2.pl1)
Provides: libcoq-ocaml-dev-kcwd8
Depends: coq (= 8.4pl3dfsg-1), camlp5-dq1s7, libcoq-ocaml-kcwd8, liblablgtk2-ocaml-dev-72b94, ocaml-nox-4.01.0
Breaks: coq (<< 8.2-1+dfsg-1), coq-libs (<< 8.2.pl1)
Description: development libraries and tools for Coq
Homepage: http://coq.inria.fr/
Description-md5: 20fc8d3bd8105efbd11433f6f367dc08
Tag: devel::library, role::devel-lib
Section: ocaml
Priority: optional
Filename: pool/main/c/coq/libcoq-ocaml-dev_8.4pl3dfsg-1_ia64.deb
Size: 1297082
MD5sum: 9048647d9d63a8edca02577471ca2f1e
SHA1: ec1e49ce0b499796065609649c39774f1844803a
SHA256: 49c7b3f0ea71b24cb9502de546d8c708617cfe36b40fceeaf98e6219b2356ef2