Package: libcoq-ocaml-dev Architecture: amd64 Version: 8.6-5build1 Priority: optional Section: universe/libdevel Source: coq Origin: Ubuntu Maintainer: Ubuntu Developers <ubuntu-devel-discuss@lists.ubuntu.com> Original-Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org> Bugs: https://bugs.launchpad.net/ubuntu/+filebug Installed-Size: 64035 Provides: libcoq-ocaml-dev-ywd98 Depends: coq (= 8.6-5build1), camlp5-ps9p6, libcoq-ocaml-ywd98, liblablgtk2-ocaml-dev-il3k6, liblablgtksourceview2-ocaml-dev-rynx6, ocaml-nox-4.05.0, libc6 (>= 2.17) Breaks: coq (<< 8.2-1+dfsg-1), coq-libs (<< 8.2.pl1) Replaces: coq (<< 8.2-1+dfsg-1), coq-libs (<< 8.2.pl1) Filename: pool/universe/c/coq/libcoq-ocaml-dev_8.6-5build1_amd64.deb Size: 13815188 MD5sum: 2fe0f86b9a12573a3144ef837123e4e5 SHA1: 4a43cc5c2f3c805668183ce221438e1f9d0bcb80 SHA256: d295faf897d69145a34fe5befc95a467b98397488f8ab94c140829739fc7804b Homepage: http://coq.inria.fr/ Description: development libraries and tools for Coq Description-md5: 20fc8d3bd8105efbd11433f6f367dc08