Accepted why3 1.2.1-1 (source) into unstable
-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA256
Format: 1.8
Date: Mon, 28 Oct 2019 18:48:39 +0100
Source: why3
Architecture: source
Version: 1.2.1-1
Distribution: unstable
Urgency: medium
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
Changed-By: Ralf Treinen <treinen@debian.org>
Changes:
why3 (1.2.1-1) unstable; urgency=medium
.
* New upstream version.
* Drop patch lablgtk3-beta6 which is now applied by upstream.
* Bumped dependency on z3 to << 4.8.7 (d/control and d/tests/control)
Checksums-Sha1:
f3c0f6332e8d35d6a24adb0da77e1ab9ded4b2c3 2634 why3_1.2.1-1.dsc
0e1d0300ba5dfb56cc6ee52a1354d4e4e18657c4 6006383 why3_1.2.1.orig.tar.gz
fae2c9ba111c23807fdd6cd28bc91f2c49c1907f 16692 why3_1.2.1-1.debian.tar.xz
dfe40796262347cb0e1fde1102615467da9bacc3 15941 why3_1.2.1-1_source.buildinfo
Checksums-Sha256:
a1b554179201d324d41215659460421c574991e0935b5bd11b7b13d71217103e 2634 why3_1.2.1-1.dsc
8798ffbe1c455d7ab39692c1d09f15e0267196cfb37f41c6e8055ca9239f8f04 6006383 why3_1.2.1.orig.tar.gz
de17562ecd90bc9e46ec39d5eb9c04bbadcb7594b14fc767b2c84adb63e99550 16692 why3_1.2.1-1.debian.tar.xz
8b3a42f5ed8289ef84f8a340636b3179778fdd6ac4232bdca0b6593935833d83 15941 why3_1.2.1-1_source.buildinfo
Files:
cd9a16c2a9a3353dab890974641fc801 2634 math optional why3_1.2.1-1.dsc
0ba29f2d7084f7171d50271c77304cdf 6006383 math optional why3_1.2.1.orig.tar.gz
224b4099883659ade7cc711af288a949 16692 math optional why3_1.2.1-1.debian.tar.xz
d7d22407d62984bef8f0cfa63c48ef6d 15941 math optional why3_1.2.1-1_source.buildinfo
-----BEGIN PGP SIGNATURE-----
iQIzBAEBCAAdFiEEAgVIKeEtDyqOZI5idFxHZtTKzf8FAl25RgIACgkQdFxHZtTK
zf83tQ//fo8mxVX0qIm5K2z4tRxIGWWP9hB6ewDVRSQ0h6v1zMjFqDOj2igWD7HL
Mm22txZ58vl7XUa3EAOrzdUh/TQOBc4btt1KaTis+Nh2R74EZFb8pCvakHUxdi5a
MXKSIhfI6v7/Imz0kCENnkTsqHdpYvnfxlb4Cgjf3oydolqXpd2KzWpVQ4uzDcBZ
IlO2/K+gxAkbisAtlvmg2kYPxPcwAjtDrV+rXUEK5T5prz9zQ97h/84+nZrzYCGP
cL17ixkKwaJWQHzKcsDhshAUudunF3A6Ymv+R7cNZRORBMI20fuzgKA+2VZhw+kf
94Mu820IG2PP35vAeQgljmewWVZ9KUNyTSQT+Jm2Sqrsvh+Pvx8kT6gnNaJQ19eg
+ZujR6Lq7OPf3nL1gyEifKnqLJBKhOL4K1ztp3SqJuaGRpo1aD5FTTCzKofijSHr
sG9U5FG7n4+3zeawkhdW75ZlkSmyaF7Gae+Zx/n9zfNqNaArX7vwHJaQhfdsuvKX
kWpxuF51IAksqPdhlukhAOC83wivtIbYbzIcJTGD2ubvOsKqHZzImlklIACGw9Ud
6cgKAvKh00+JUSJ5W7Lb0p2yoPwpDfLP56goXJPwURxtNAEjaIznOuOTzRw9F2CI
ZJzTTz0KkbQwo7BI1fnW+GOtN5CnPk41BL5ewnhzaK4H2e4j0l4=
=enNP
-----END PGP SIGNATURE-----