Package: libcoq-ocaml-dev
Architecture: i386
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: 53933
Provides: libcoq-ocaml-dev-6pjp3
Depends: coq (= 8.6-5build1), camlp5-bskq5, libcoq-ocaml-6pjp3, liblablgtk2-ocaml-dev-e0615, liblablgtksourceview2-ocaml-dev-l26k1, 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_i386.deb
Size: 13796020
MD5sum: 0efec17c5dff06f68cfa1303b5c79feb
SHA1: e0987adb4a2e8e4d8103df79206978e11abbf689
SHA256: 0b0dd198c9479a3003d06da3eb8c30b5a8bbc27aaca5eb11aad680a07a5210b0
Homepage: http://coq.inria.fr/
Description: development libraries and tools for Coq
Description-md5: 20fc8d3bd8105efbd11433f6f367dc08