Package: libz3-cil
Architecture: i386
Version: 4.4.1-0.3build4
Priority: extra
Section: universe/cli-mono
Source: z3
Origin: Ubuntu
Maintainer: Ubuntu Developers <ubuntu-devel-discuss@lists.ubuntu.com>
Original-Maintainer: Michael Tautschnig <mt@debian.org>
Bugs: https://bugs.launchpad.net/ubuntu/+filebug
Installed-Size: 206
Depends: libz3-dev (= 4.4.1-0.3build4), libmono-corlib4.5-cil (>= 4.6.1.3), libmono-system-numerics4.0-cil (>= 4.6.1.3)
Filename: pool/universe/z/z3/libz3-cil_4.4.1-0.3build4_i386.deb
Size: 40620
MD5sum: b6e00294aae4549a05c12817a6b2f6c9
SHA1: 82fc4b750c67d24a5ae38c7290c04f3ce3ecaa91
SHA256: 9ff8a29594d1af0ec03022a7b975f43b3875b21acaef0de8716ec2123865cb99
Homepage: https://github.com/Z3Prover/z3
Description: theorem prover from Microsoft Research - CLI bindings
Description-md5: 7757b1134bdbdb0096c6719d5a1df5f8