Format: 1.8
Date: Fri, 13 Sep 2019 10:27:08 +0200
Source: z3
Binary: libz3-4 libz3-cil libz3-dev libz3-java libz3-jni libz3-ocaml-dev python-z3 z3
Architecture: i386
Version: 4.8.4-1build1
Distribution: eoan-proposed
Urgency: medium
Maintainer: Launchpad Build Daemon <buildd@lcy01-amd64-030.buildd>
Changed-By: Gianfranco Costamagna <locutusofborg@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
Changes:
 z3 (4.8.4-1build1) eoan; urgency=medium
 .
   * Rebuild against new OCAML ABI.
Checksums-Sha1:
 84c4bcde145dd16f80680b63926f4a10f10370bd 95773212 libz3-4-dbgsym_4.8.4-1build1_i386.ddeb
 b2ea10acd78f9287744ff6ccc798a458c919a9b2 7178800 libz3-4_4.8.4-1build1_i386.deb
 6bc3f689532a17d703e40e52f03baec257211719 45024 libz3-cil_4.8.4-1build1_i386.deb
 42bcc9a267d32f4499de506460d804c10e502530 65104 libz3-dev_4.8.4-1build1_i386.deb
 2d47e0a1fef59bceaa017ee972efc5176268640f 152324 libz3-java_4.8.4-1build1_i386.deb
 5fbf5b20d28b20f7c45192e798de84ebe70614ae 143720 libz3-jni-dbgsym_4.8.4-1build1_i386.ddeb
 553951db322e82392c3ed71a9cc269083bd0afe8 41380 libz3-jni_4.8.4-1build1_i386.deb
 1c91f6adc636f41d63fe8924d07fc388ee587f8e 342636 libz3-ocaml-dev-dbgsym_4.8.4-1build1_i386.ddeb
 37d6752660c2808ec05c1a863e5acb6ab2a4bd56 459748 libz3-ocaml-dev_4.8.4-1build1_i386.deb
 521ef8ca11922df9ce0dc06df361139023d85a7a 1388 python-z3_4.8.4-1build1_i386.deb
 88ba2f2ba76e5e2036c3c2cae334ed826f278515 98569324 z3-dbgsym_4.8.4-1build1_i386.ddeb
 98794e105da78392913aab0bf318536e0ffc4b1b 23472 z3_4.8.4-1build1_i386.buildinfo
 412c6a92a8e016eb837386d3006b49e5293fb440 7336440 z3_4.8.4-1build1_i386.deb
Checksums-Sha256:
 bf19ea24954e095d6c3cb18673aeb60fe450413b96a9711e341710202db28fa2 95773212 libz3-4-dbgsym_4.8.4-1build1_i386.ddeb
 847248f5e62ca32ba7161b92e218ff35d2e787dc4326c7920cdbd172ca7e238b 7178800 libz3-4_4.8.4-1build1_i386.deb
 3af5f5424bb00aa0e0bb36bb27aa4bc4bbc3c97e9f9320db0f073d2609ca0249 45024 libz3-cil_4.8.4-1build1_i386.deb
 1c150bc2b998324a0f20eab90e47f0e9a6790df8752d39c2d22c2ff981d07bdc 65104 libz3-dev_4.8.4-1build1_i386.deb
 68ff6468063d9846d38deefe6a96b6e97b749583304f7b505b6426f239f4ede6 152324 libz3-java_4.8.4-1build1_i386.deb
 9322b30902dbbd9561dc6c8441cbe029b71d506c8238fde8ca8d8bd7b81b8938 143720 libz3-jni-dbgsym_4.8.4-1build1_i386.ddeb
 574d8137f8bbebdd0817370270eea8b492f3af1b442abd7b64a250a746bf19fc 41380 libz3-jni_4.8.4-1build1_i386.deb
 6926d36de66f1ce39ccd6374514cdffadb568f3f453d6546b5ebc671a9898ab5 342636 libz3-ocaml-dev-dbgsym_4.8.4-1build1_i386.ddeb
 225cb70a6bf69b19557eceaa9474643249d1cfd71bb931e8d3aa0dcf09b3a57e 459748 libz3-ocaml-dev_4.8.4-1build1_i386.deb
 0253d5e4483a337a9331af719aa35bd886b374df20041769bd0b0c5dbf137651 1388 python-z3_4.8.4-1build1_i386.deb
 8c9676229b7c838885e20c5cbc57edf4ac4f2024181648b1e1f0053eea6a2571 98569324 z3-dbgsym_4.8.4-1build1_i386.ddeb
 1bb6ca17af3dd97e2f97ebfc5442facf857b96c94cfdea6c0f5d30cd566010cb 23472 z3_4.8.4-1build1_i386.buildinfo
 40915b2488919281219181437b2c2550f50e65718ca85442caf83d8c8cb5f091 7336440 z3_4.8.4-1build1_i386.deb
Files:
 0f9500d535015b25c06ceda6735148ca 95773212 debug optional libz3-4-dbgsym_4.8.4-1build1_i386.ddeb
 312c2e4ae2efd81f8c75d05eacda0deb 7178800 libs optional libz3-4_4.8.4-1build1_i386.deb
 7744507b3116bee5bf29cfbef736fb10 45024 cli-mono optional libz3-cil_4.8.4-1build1_i386.deb
 76930dc0c3b0f295ce06b982c2165855 65104 libdevel optional libz3-dev_4.8.4-1build1_i386.deb
 b07c6bbb4cb8e42e13636e3b80d2fc32 152324 java optional libz3-java_4.8.4-1build1_i386.deb
 f963da1ebbd977f25e523a3e5ea533aa 143720 debug optional libz3-jni-dbgsym_4.8.4-1build1_i386.ddeb
 8cc986e58ffe151be656d5b15b696ceb 41380 java optional libz3-jni_4.8.4-1build1_i386.deb
 8b8a20267deaaed950a6ec96399547eb 342636 debug optional libz3-ocaml-dev-dbgsym_4.8.4-1build1_i386.ddeb
 daa5744afd2cda212c945efb638f0983 459748 ocaml optional libz3-ocaml-dev_4.8.4-1build1_i386.deb
 6271f313b57b88da868f106f5ddcd964 1388 python optional python-z3_4.8.4-1build1_i386.deb
 bfbd7452e6b92dcf3ec355dc7fd9e6d4 98569324 debug optional z3-dbgsym_4.8.4-1build1_i386.ddeb
 a49cd8b5895f247982419710b8cb0151 23472 science optional z3_4.8.4-1build1_i386.buildinfo
 ac91c2661c7cb3473fb8e33197752743 7336440 science optional z3_4.8.4-1build1_i386.deb