-----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-----
