Package: libz3-ocaml-dev Priority: extra Section: universe/libdevel Installed-Size: 5705 Maintainer: Ubuntu Developers <ubuntu-devel-discuss@lists.ubuntu.com> Original-Maintainer: Michael Tautschnig <mt@debian.org> Architecture: amd64 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_amd64.deb Size: 454228 MD5sum: 082e389d9f2b6181065c5c9c2cf4b914 SHA1: 2f5c4123407fc1e47e60f6459976c0b65e0e3518 SHA256: ac1617afa50e089b497ef9d9e4bedaa3b590b65ea2c08f4d07ef1f6be2ddc31e 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