Package: libz3-cil Architecture: amd64 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_amd64.deb Size: 40792 MD5sum: 35ba04fe9cd03b5d60d80729f85a3343 SHA1: 486e019c02c1573f5046afa2a5437db91e4050a4 SHA256: 36c531386a37bd11d0c645b03688bdd538d21ea8a3c09bbadde22ea372986126 Homepage: https://github.com/Z3Prover/z3 Description: theorem prover from Microsoft Research - CLI bindings Description-md5: 7757b1134bdbdb0096c6719d5a1df5f8