Your message dated Wed, 04 Sep 2019 10:34:38 +0000 with message-id <[email protected]> and subject line Bug#934048: fixed in z3 4.8.4-1 has caused the Debian Bug report #934048, regarding z3: please add libnum-ocaml-dev to Build-Depends to be marked as done.
This means that you claim that the problem has been dealt with. If this is not the case it is now your responsibility to reopen the Bug report if necessary, and/or fix the problem forthwith. (NB: If you are a system administrator and have no idea what this message is talking about, this may indicate a serious mail system misconfiguration somewhere. Please contact [email protected] immediately.) -- 934048: https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=934048 Debian Bug Tracking System Contact [email protected] with problems
--- Begin Message ---Package: z3 Version: 4.4.1-0.4 Severity: important Hello, Currently, z3 FTBFS with OCaml 4.08.x because it depends on the num library that used to be shipped with OCaml, but is no longer in 4.08.0. Virtual packages libnum-ocaml{,-dev} have been added to the OCaml in unstable (4.05.0-12). Please add libnum-ocaml-dev to Build-Depends to smoothen the future transition to OCaml 4.08.x Cheers, -- Stéphane
--- End Message ---
--- Begin Message ---Source: z3 Source-Version: 4.8.4-1 We believe that the bug you reported is fixed in the latest version of z3, which is due to be installed in the Debian FTP archive. A summary of the changes between this version and the previous one is attached. Thank you for reporting the bug, which will now be closed. If you have further comments please address them to [email protected], and the maintainer will reopen the bug report if appropriate. Debian distribution maintenance software pp. Fabian Wolff <[email protected]> (supplier of updated z3 package) (This message was generated automatically at their request; if you believe that there is a problem with it please contact the archive administrators by mailing [email protected]) -----BEGIN PGP SIGNED MESSAGE----- Hash: SHA256 Format: 1.8 Date: Tue, 27 Aug 2019 14:30:11 +0200 Source: z3 Binary: z3 libz3-4 libz3-dev python-z3 libz3-cil libz3-ocaml-dev libz3-java libz3-jni Architecture: source Version: 4.8.4-1 Distribution: unstable Urgency: medium Maintainer: LLVM Packaging Team <[email protected]> Changed-By: Fabian Wolff <[email protected]> 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: 909494 934048 Changes: z3 (4.8.4-1) unstable; urgency=medium . [ Gianfranco Costamagna ] * Team upload. * Honour nocheck option to not run testsuite . [ Fabian Wolff ] * New upstream release (Closes: #909494). * Add debian/gbp.conf. * Update and reorganize patches. * Upgrade to debhelper compat level 12. * Upgrade to Standards-Version 4.4.0 (no changes). * Remove trailing whitespace from debian/control. * Build-Depend on libnum-ocaml-dev (Closes: #934048). Checksums-Sha1: d7ddf9ac0acfeec8d4261b5b3db54f52853f3926 3020 z3_4.8.4-1.dsc 171be55f306966a6968fef5e8ecb65846fb3b734 4117081 z3_4.8.4.orig.tar.gz 5d070070e8355f358dda318ffea0a9d7b2c76adc 9480 z3_4.8.4-1.debian.tar.xz 58478b90fa565cdb5f534ddfa6a3bca1faf15c08 22026 z3_4.8.4-1_source.buildinfo Checksums-Sha256: 37928289d925c64464f68e0733ab43a07673e9a2f4cb24a356909d26d4ae95c3 3020 z3_4.8.4-1.dsc 5a18fe616c2a30b56e5b2f5b9f03f405cdf2435711517ff70b076a01396ef601 4117081 z3_4.8.4.orig.tar.gz 6805e4953eb6586135709857e61f1fb03872333082a903132d257be740f3bfcc 9480 z3_4.8.4-1.debian.tar.xz 0a1264033edb71b2142b8564907ff72a8ffad47b4dc509beb0ab00aa159f82a4 22026 z3_4.8.4-1_source.buildinfo Files: 1e25841516835cfaeaa06110db30f142 3020 science optional z3_4.8.4-1.dsc b74bbb04e90c034125fe9e01988add95 4117081 science optional z3_4.8.4.orig.tar.gz b7cc674b3e022700cabb461fc4889c45 9480 science optional z3_4.8.4-1.debian.tar.xz 6ed67d022779e99e809eecf960d6bd62 22026 science optional z3_4.8.4-1_source.buildinfo -----BEGIN PGP SIGNATURE----- iQIzBAEBCAAdFiEEkpeKbhleSSGCX3/w808JdE6fXdkFAl1vjwgACgkQ808JdE6f XdlnCA//e1LH7dOfxuqpXRwPas2AmLXZI3bNHwOkG5gnnWPUvsiCFzqWPNaCUeYE vQ2Rf97fFkUwkasi46BlMqLc/kgS/zC35vnYTL288DzGoJyb4jKA7qa9gJZFBDg7 1Hc8MIRPYkWaPcSsOaL197pGfDxia4D56frJFhhyeVuL73pTPgEvzVsH+Qsrirs3 59YGyOmt3oockKCVARiFbMXiM7fC4ZH1TEN1vispdSkT4WhnDRLCTeXL+iepgzSs sn7lakJFUaRCAALVLx3jMDD081AOC6Ku5zrp2dpnrcXDmSlTpD+zUUaHfh23DZyh 73Eevc4yIiR33ARaZIYLauKAMqCQZlgzUb6uRktLM9Ilt4txJaUN1Lo5xS2E15bh 4bKKj/+vEUCdJ3ArtIpR+0EjtXUd/KDBU/xN9cerg6Tj2ZCbE9fIrC2L+CIA7VNI 8zopdlBcG/If+luG1A9xeYV5ImvDb77AuwZnXYOHC5mJipsoCYFm36Ch3YdmV+ws b9R6s7FZh9O03L2Dhkbj6v+ft256jECsvHIGXp5W8F4OX5azQG/8NerLMnxyG1o1 s+YChaoH3onVauQ+vNyRNNcoWnJkpUvZGHD+YATYaoHhdwZehNbYiYpT0LK+vRrp nt/DengCjEjlx/IcqySOvj/7Jgbd9JBdvEQoBmANcpBKYimpakQ= =w01Y -----END PGP SIGNATURE-----
--- End Message ---
