Package: libz3-ocaml-dev
Priority: extra
Section: universe/libdevel
Installed-Size: 4119
Maintainer: Ubuntu Developers <ubuntu-devel-discuss@lists.ubuntu.com>
Original-Maintainer: Michael Tautschnig <mt@debian.org>
Architecture: i386
Source: z3
Version: 4.4.0-5
Depends: libz3-dev (= 4.4.0-5), ocaml-nox-4.02.3, libc6 (>= 2.4)
Recommends: ocaml-findlib
Filename: pool/universe/z/z3/libz3-ocaml-dev_4.4.0-5_i386.deb
Size: 425058
MD5sum: 509d94d6756fad9395210d1bc2bb6fc9
SHA1: b97b0c779390f9a40fad4ef820151a6b3c944f53
SHA256: 2cd20db800e754fcc7eb142bfbe95879cd32e19fc5577ef8a5f590fd6abf0670
Description: theorem prover from Microsoft Research - OCaml bindings
Homepage: https://github.com/Z3Prover/z3
Description-md5: e15b256ee8b99be39bcf2933abe6586c
Bugs: https://bugs.launchpad.net/ubuntu/+filebug
Origin: Ubuntu