Package: libz3-cil
Priority: extra
Section: universe/cli-mono
Installed-Size: 204
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), libmono-corlib4.5-cil (>= 3.2.8), libmono-system-numerics4.0-cil (>= 1.0)
Filename: pool/universe/z/z3/libz3-cil_4.4.0-5_i386.deb
Size: 40172
MD5sum: 77ecfe900b8c23ea16ddb1681739f81b
SHA1: 3b7e34d030a74b97e85749d253ac2439fed85824
SHA256: 2c59ea58b23b1d15b257cb2ad94e41f9c06306d8521932c55a11ace993068998
Description: theorem prover from Microsoft Research - CLI bindings
Homepage: https://github.com/Z3Prover/z3
Description-md5: 7757b1134bdbdb0096c6719d5a1df5f8
Bugs: https://bugs.launchpad.net/ubuntu/+filebug
Origin: Ubuntu