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