Accepted why3 1.2.0-1 (source) into unstable
-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA256
Format: 1.8
Date: Fri, 15 Feb 2019 08:19:55 +0100
Source: why3
Architecture: source
Version: 1.2.0-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.0-1) unstable; urgency=medium
.
* New upstream version
* Also build the library in bytecode
* libwhy3-ocaml-dev: add Suggests:ocaml-findlib
* Re-activate building of the ide, now using lablgtk3
Checksums-Sha1:
617a465d51eb7398180d11ea1f62cbaa36e1e24e 2634 why3_1.2.0-1.dsc
0853726b80e512b443e10279edafc8f591a62f37 6005013 why3_1.2.0.orig.tar.gz
eedc04957e716eeb41cbe8107493a47a36a51811 16332 why3_1.2.0-1.debian.tar.xz
e83086c39cb727ea973a6a4a926fff240a6979fe 15566 why3_1.2.0-1_source.buildinfo
Checksums-Sha256:
479653bf5ead837ef05c3da47bb8a0f09fef19a655da72c59fdbaf2969d4d21c 2634 why3_1.2.0-1.dsc
888c09fbad8d5c83b3c23ebc8d89fcb9c535cc3ee2cb8c3752329c086500e077 6005013 why3_1.2.0.orig.tar.gz
c30d82a0d0bab23869fad16cb1b6e788ba525de3c3aa1c36ef8fd4a88880ea9d 16332 why3_1.2.0-1.debian.tar.xz
e1ddba818e5dd1303dc8a61deee6d9419e43f0a8c3fa14e86ac0a9ab21d42d98 15566 why3_1.2.0-1_source.buildinfo
Files:
5cc9dad4af1c370c7f17de7e3c9d8b68 2634 math optional why3_1.2.0-1.dsc
a9574b33d94c9a4966704c8318489db9 6005013 math optional why3_1.2.0.orig.tar.gz
3452cb22f64c40d1d126c75b67fbc45e 16332 math optional why3_1.2.0-1.debian.tar.xz
591bb361ea3c299620d0a41085097a36 15566 math optional why3_1.2.0-1_source.buildinfo
-----BEGIN PGP SIGNATURE-----
iQIzBAEBCAAdFiEEAgVIKeEtDyqOZI5idFxHZtTKzf8FAlxnIeAACgkQdFxHZtTK
zf89Og/+J0Ti/n1ClPlMBiVRqZ1PvcadHchRCvXk1oDZUkmovwAJpDg03Q+JyNOT
cYdQnM9L6eCb0gDzQyp6T6yYmBzmOLVPVzlMX1HqTGQjn7HUUU/mT765WstXicAK
bl/cRjsEtD2QDXlbFQb6i5pmZ4GRh2dTEL1xRbm3+dekY+Xap80uzNlJpnvB+ud+
ejnV75+8Q8XK4Lgcd0NwsmlZax1dTqF6IJW3njLftnPzXv064wO9p8fy8qO8tS9O
OWhbsrD3OWR/gp8CzAWzCGhPHHOLZmlicBgVPXpPBkktJyIblb/Vii9JmsPI5m19
u9WJ6qMDLBiaGlRn95BLszIm4QNwvdzsKfXWs2MypCyvdtnrBOsaAl+PGjdzUDH3
WV3VMDLuBHZCB6uoADbbEHZzkgMKg9SYStZb/TKKPslMmh6medTLl6W5pKi35yph
vWx4Z4tcHYYv0S8f6f6AMuhp///PkzWPYy89NNo5Pitc1ejawJGqzsAjfmbbN80P
0lY82+uyIHL9odryOHmeWIBf1memGPvktVRbhc7cCTnrbW79/A6OOHYRKmgYUBy/
uLprlvp5A9WRVDGjCF9VAg618S0tteG/Oy0ipQ+oAZJFTiXAadhQQO8IIEOI/6FT
JMuLbIgdXVL3gMUOqjVO/N9UGpQ78Tl9QoAfn2SSf8zYqhqwoE4=
=af5a
-----END PGP SIGNATURE-----