Back to z3 PTS page

Accepted z3 4.8.7-1 (source) into unstable



-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA512

Format: 1.8
Date: Sun, 08 Dec 2019 21:59:24 +0100
Source: z3
Architecture: source
Version: 4.8.7-1
Distribution: unstable
Urgency: medium
Maintainer: LLVM Packaging Team <pkg-llvm-team@lists.alioth.debian.org>
Changed-By: Fabian Wolff <fabi.wolff@arcor.de>
Changes:
 z3 (4.8.7-1) unstable; urgency=medium
 .
   * New upstream release.
   * Refresh patches.
   * Replace libnum-ocaml-dev build dependency with libzarith-ocaml-dev
     and add ocaml-findlib.
   * Use ocamlopt when available (instead of disabling it for all
     architectures).
Checksums-Sha1:
 0dbac45424477fe05b18c7fb0138269f6b57a2a1 2677 z3_4.8.7-1.dsc
 66edfbb8c1d9e3b2ba4cc990fbc4a00dfb43a182 4343720 z3_4.8.7.orig.tar.gz
 2704734dbb05678d191dd1a9ef365122e81d6755 11140 z3_4.8.7-1.debian.tar.xz
 eb04780a8a65d2387095668787fe4e075c271451 13532 z3_4.8.7-1_amd64.buildinfo
Checksums-Sha256:
 5aad4a6810f06400290ddc50607d7b1bc446888452790172bd3d482bed556aab 2677 z3_4.8.7-1.dsc
 8c1c49a1eccf5d8b952dadadba3552b0eac67482b8a29eaad62aa7343a0732c3 4343720 z3_4.8.7.orig.tar.gz
 a55be50c7155f608e83b80f8068724a8661756bae70a03fbe4c12adf86341137 11140 z3_4.8.7-1.debian.tar.xz
 6de7cbde3a212049fc816613e6da9c3571b1f8cde0282a1c027b7a031f4242d3 13532 z3_4.8.7-1_amd64.buildinfo
Files:
 af341531df12576de310d329e82a8998 2677 science optional z3_4.8.7-1.dsc
 18e7332ab136c1d8686ea719ed7107ed 4343720 science optional z3_4.8.7.orig.tar.gz
 b0aaba93c5422e106394140494412405 11140 science optional z3_4.8.7-1.debian.tar.xz
 f5a56c4d51d105e3c08d1f4d314bc7fb 13532 science optional z3_4.8.7-1_amd64.buildinfo

-----BEGIN PGP SIGNATURE-----

iQIzBAEBCgAdFiEEGKeQdgwAi1CfzfenilOItk1pK0kFAl3taRsACgkQilOItk1p
K0lkBw/+OEvh1kdG28qL76sHvfQPGhZAx7e8KZKyQtZhrwGGsSx4T5NWy2Kq/JzW
21szz01rOD9iY2zWtwqYsMNAyge+/kMjl0JPoRLUJKDXTOuHK3Glb+Lh6rdc31I7
hbtpwRAY/SabDnTMwxBbuToevRKC+lfPO9O1FWEDdZLMHk0J0jtRHsG9MudyR5Cp
RLxfwGDbUtry+tAmtoBFu579SZdwKekFmbNLzA3V9NPIersIHlPP8DO+KY6PkwLe
2a9CKUjf+8iiASB0l/fnr0HjS10q/4dpQ2jHOGqZ0li5DQdaPYmf6zhcf/zu6zxo
e2pOtWTPus1YeqIcTvnVHLW9sdrNr3rNs321aggUJMy2T15DFmrZEajhifFtEnbN
2s41G1TJPP2b0GsLDX49yYI8EXqCp+U0uPUdGrt1oZRSmObucIOe75MGifprRhqG
nuVvZWzBVGgCkzZvMy5FnyQOM0krf1Tgr7pIGc/a8ETklxMhOm+l6cdbuKO31ReB
OpNLQqdlS3Tc6HTReRUKwI/PkxbubuvpSH8rLBZSgBmA2lBM3ljt2qnWhpKvlcIO
0eXp1olB3XC2XehciSGbYqESVIGx6LTGENM3V4gy6cI9EFLLlg7uMZP9Mfuw32G/
9ZnJCuVv1Rk6luHksRJiY98NtKHGdBUNPCFS9fLU87sc8l8XXfs=
=ed1D
-----END PGP SIGNATURE-----