Package: libalt-ergo-ocaml-dev
Priority: optional
Section: universe/ocaml
Installed-Size: 5244
Maintainer: Ubuntu Developers <ubuntu-devel-discuss@lists.ubuntu.com>
Original-Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
Architecture: i386
Source: alt-ergo
Version: 0.95.2-1build1
Replaces: alt-ergo (<< 0.95.1-1)
Depends: libzarith-ocaml-dev-dmt87, ocaml-nox-4.01.0
Suggests: why
Breaks: alt-ergo (<< 0.95.1-1)
Filename: pool/universe/a/alt-ergo/libalt-ergo-ocaml-dev_0.95.2-1build1_i386.deb
Size: 717890
MD5sum: 9ac906d9808ade7ed3538057f3d451be
SHA1: e29ece56edbee1bcdd8f35c0698820836d31c08f
SHA256: 93d1fa24401e07e803c53eb419a86c1e2b4798d8e0d7413d01e1a3e10cb8a282
Description: Theorem prover dedicated to program verification - libraries
Homepage: http://alt-ergo.lri.fr
Description-md5: c626c681acc7e39c2f23e99b490bc403
Bugs: https://bugs.launchpad.net/ubuntu/+filebug
Origin: Ubuntu