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