Format: 1.8
Date: Sun, 09 Sep 2018 22:28:32 +0300
Source: z3
Binary: z3 libz3-4 libz3-dev python-z3 libz3-cil libz3-ocaml-dev libz3-java libz3-jni
Architecture: armhf
Version: 4.4.1-0.4
Distribution: cosmic-proposed
Urgency: medium
Maintainer: Launchpad Build Daemon <buildd@bos02-arm64-025.buildd>
Changed-By: Adrian Bunk <bunk@debian.org>
Description:
 libz3-4    - theorem prover from Microsoft Research - runtime libraries
 libz3-cil  - theorem prover from Microsoft Research - CLI bindings
 libz3-dev  - theorem prover from Microsoft Research - development files
 libz3-java - theorem prover from Microsoft Research - java bindings
 libz3-jni  - theorem prover from Microsoft Research - JNI library
 libz3-ocaml-dev - theorem prover from Microsoft Research - OCaml bindings
 python-z3  - theorem prover from Microsoft Research - Python bindings
 z3         - theorem prover from Microsoft Research
Closes: 874237
Changes:
 z3 (4.4.1-0.4) unstable; urgency=medium
 .
   * Non-maintainer upload.
   * Remove the incorrect Multi-Arch: same of python-z3,
     thanks to Helmut Grohne. (Closes: #874237)
Checksums-Sha1:
 915af0902b6739d969e8e5920fae11352c814d70 94122968 libz3-4-dbgsym_4.4.1-0.4_armhf.ddeb
 6bd7cffaa5075a8f93d3fd53d71c85f46a9755bc 4262980 libz3-4_4.4.1-0.4_armhf.deb
 ede416fd462eef04218be5a7bee1a373da962cdb 40836 libz3-cil_4.4.1-0.4_armhf.deb
 e68a2972797ada8893ae0f0d44f86863b37e0f1c 64256 libz3-dev_4.4.1-0.4_armhf.deb
 e05c40967d0dc58728aff6dbe92bc3d0da9a0770 145752 libz3-java_4.4.1-0.4_armhf.deb
 0da4a575793a6de98a107084aacdd58180ff7773 177904 libz3-jni-dbgsym_4.4.1-0.4_armhf.ddeb
 43ffb92391c8ba5420679c78216dbc80861d88e0 29044 libz3-jni_4.4.1-0.4_armhf.deb
 6bc1f1227fa29515fa1af4163d6f8895beca25e9 217576 libz3-ocaml-dev-dbgsym_4.4.1-0.4_armhf.ddeb
 3968136c04366b9011b4eafd285ed77df8b27625 536440 libz3-ocaml-dev_4.4.1-0.4_armhf.deb
 125dbb4c00ae986c222fa182c86b3b65d94e9f12 67040 python-z3_4.4.1-0.4_armhf.deb
 dd794f5bdfe35d984a1e911f52a5286d063c42d4 95133432 z3-dbgsym_4.4.1-0.4_armhf.ddeb
 fc6a186e52531d84c2f6cbb7cf2146a94a17c26d 24957 z3_4.4.1-0.4_armhf.buildinfo
 f4ae543283f46ffe3e7e7c02427970af17be11a0 4281260 z3_4.4.1-0.4_armhf.deb
Checksums-Sha256:
 262c0a9bbc4bc99829c76ed39511494759bc62784759177bbc66fe4b4c33bdeb 94122968 libz3-4-dbgsym_4.4.1-0.4_armhf.ddeb
 0942c747c0ff061460f2f72e8bad1a79173bc72da37732cb5c614dd567960652 4262980 libz3-4_4.4.1-0.4_armhf.deb
 26259f68b370d00bad00cef77420818170e71e42429bd3f451d1695fc7c94aa2 40836 libz3-cil_4.4.1-0.4_armhf.deb
 bc4251d69f2fe3b15c68a867f0ce6dbd374d056940bb2f8a48f168ea7528afe1 64256 libz3-dev_4.4.1-0.4_armhf.deb
 5cbe0ff59c7bc70a4b14a9ff0f9fae5549a65ee995e46cea14a9e82db4366fce 145752 libz3-java_4.4.1-0.4_armhf.deb
 24515f79075a29382e82522503bcd0f85c521f441fd8cf1434a122a7a8f36c49 177904 libz3-jni-dbgsym_4.4.1-0.4_armhf.ddeb
 0c1b450199d2e83fd751bef54b53357d53379cc0a13152f3523a1be231033ff3 29044 libz3-jni_4.4.1-0.4_armhf.deb
 e8a098cd5dc2ecdbc60df3d9a749b9bd6a2fc9ad7d50c036ed2d6d82b02da801 217576 libz3-ocaml-dev-dbgsym_4.4.1-0.4_armhf.ddeb
 4af02b78d69c9bc66efa275b8aa511203d5b87c228d6ad5865f02463a73a59eb 536440 libz3-ocaml-dev_4.4.1-0.4_armhf.deb
 10e6389464cf5b4b485f49635000761b41124ccf3bdb08f97126fadf39008e89 67040 python-z3_4.4.1-0.4_armhf.deb
 19413ca0d1dc318b12e455eda83e18f1279550aeadc64ae565eac07e95938c57 95133432 z3-dbgsym_4.4.1-0.4_armhf.ddeb
 61224cff9ecdc475fb38b709e23696c807061c87b7d528190657ead1c1836183 24957 z3_4.4.1-0.4_armhf.buildinfo
 19642fbdfae7140fa1a3d895fe30bf34b985d3f50649cc6715dedfb00415b6c3 4281260 z3_4.4.1-0.4_armhf.deb
Files:
 5f990f81aeaf032a797d62f47a4df0c2 94122968 debug optional libz3-4-dbgsym_4.4.1-0.4_armhf.ddeb
 19bb4fd49555d3b8f58e234b65fe4034 4262980 libs extra libz3-4_4.4.1-0.4_armhf.deb
 e36834a7253f6abba44dd75ee2edda9e 40836 cli-mono extra libz3-cil_4.4.1-0.4_armhf.deb
 cc71cc2ab5e671b721847541b6a8c650 64256 libdevel extra libz3-dev_4.4.1-0.4_armhf.deb
 df6517971b22cb5a1ec1af18714eeddf 145752 java extra libz3-java_4.4.1-0.4_armhf.deb
 9dfb9724a2081f1c7e331ec5589c6bda 177904 debug optional libz3-jni-dbgsym_4.4.1-0.4_armhf.ddeb
 531d31b1adc57ece2ee0e1e87c2d0fd1 29044 java extra libz3-jni_4.4.1-0.4_armhf.deb
 64d20b8047fe7ed682f2dcde314c560d 217576 debug optional libz3-ocaml-dev-dbgsym_4.4.1-0.4_armhf.ddeb
 6008706466add05d61aec181f84c6f69 536440 ocaml extra libz3-ocaml-dev_4.4.1-0.4_armhf.deb
 eda01c2cc6dd3f7ffb804a89e659b80d 67040 python extra python-z3_4.4.1-0.4_armhf.deb
 b37d7e4d93f2333a10645389ba646155 95133432 debug optional z3-dbgsym_4.4.1-0.4_armhf.ddeb
 9dfa28ec0e499f7fd6a8a8fab02c94c4 24957 science extra z3_4.4.1-0.4_armhf.buildinfo
 7aa7f4f7f720a557335aa4c40afbba3a 4281260 science extra z3_4.4.1-0.4_armhf.deb