Accepted why 2.36-3 (source) into unstable
-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA256
Format: 1.8
Date: Sun, 18 Dec 2016 19:22:16 +0100
Source: why
Binary: why libwhy-coq
Architecture: source
Version: 2.36-3
Distribution: unstable
Urgency: medium
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
Changed-By: Ralf Treinen <treinen@debian.org>
Description:
libwhy-coq - Why library for Coq
why - Software verification tool for C and Java
Closes: 844777
Changes:
why (2.36-3) unstable; urgency=medium
.
* drop build-dependency on liblablgtk2-ocaml-dev
* stop using libapron, as advised by upstream:
- drop build-dependency libapron-ocaml-dev
- drop option enable-apron from ./configure invocation
* generate frama-c-plugin/META.frama-c-jessie in debian/rules when it
has not been generated by frama-c, which for some unknown reason
happens on non-native architectures (closes: #844777).
Checksums-Sha1:
548b339375f39db3b38a738c248deb193d5081de 2264 why_2.36-3.dsc
11d654ea5ef0b30dedfa9e6d1b459226bc72d9bf 11480 why_2.36-3.debian.tar.xz
Checksums-Sha256:
053f62ce12637b5051885218f55ab00e380f824dc4e7b1f37914684579a71486 2264 why_2.36-3.dsc
a6a23edc28b367cf36c1fe7c7e7e7f23533b2cb663ab67bc6e90b8e8d23d88ee 11480 why_2.36-3.debian.tar.xz
Files:
4a7c7937659e5a435607a43475a14949 2264 math optional why_2.36-3.dsc
f7e1237afd934834222eaf60b3753b34 11480 math optional why_2.36-3.debian.tar.xz
-----BEGIN PGP SIGNATURE-----
iQIzBAEBCAAdFiEEAgVIKeEtDyqOZI5idFxHZtTKzf8FAlhW4KcACgkQdFxHZtTK
zf/+8A//eEJVPPDjph1Ia9Ch2JAjbZ8TTIqbHf95JAMnXGv26/xuvRgS+tZjaDEH
2zUupox3Rln0xZGB97yf1JOKLmSU7zCRyNs4xvHkG5Bg7G7btzQRr31+XxfZpSq/
FW0JmomorHbPucJ2HCJ1gnQG2ibmpOXVdekZzjMw6hKP6KMJ6U1lAhK1Tg+4AEvW
YChDinYO6jQTI7IAuwJ3e8irRr49QbqT6IWIJygG5ILBbT03xAQsAGFFj8aYV7xJ
/WBS3tor7+bdv8QItiVAmQhG8F2OJ7FHGunCWj5V3iOmh1qkQdrJYcSIowVIvY/o
mo3pEf1N+d6/TFtRoZzyjqJQNnFbQ9Hqy6ECifqC9A8F9BBfGNk48G6PasuasL1F
B5IzauQJxG40Z0EyV4dEY3IFpnVB0Nq+sCG3BJvjHTmUvZaPoVeDyqhMAsYsJKJi
6I2R4+Nwx+MUtYyZ//N3iLrjNFbNiiThnns5it0/gDIrbhpxAEv/ADObN/5LMW7p
gaVbYAWXXQzSoxjmMexINjoFgPN/sHEfk924aMhElfrtEKqIDIkPkkQoE9hJfvff
w3UnsPpS2WtRlpen0J+Qfjhe0iZ1y77Ud8iK3K1ldJUNuZ4+Y2OjKOuy9YWZrfRS
Z9c/lblROxZ/LGXFrrdnBENQu4uClP25chBSug8KxnPdPBvPlrE=
=OBUH
-----END PGP SIGNATURE-----