-----BEGIN PGP SIGNED MESSAGE----- Hash: SHA256 Format: 1.8 Date: Tue, 03 Jan 2017 20:56:05 +0100 Source: why3 Binary: why3 why3-coq libwhy3-ocaml-dev why3-examples why3-doc-html why3-doc-pdf Architecture: source Version: 0.87.2-3 Distribution: unstable Urgency: medium Maintainer: Debian OCaml Maintainers <debian-ocaml-ma...@lists.debian.org> Changed-By: Ralf Treinen <trei...@debian.org> Description: libwhy3-ocaml-dev - ocaml librariries for why3 (dev) why3 - Software verification platform why3-coq - Coq support for the why3 verification platform why3-doc-html - HTML Documentation of the why3 verification platform why3-doc-pdf - PDF Documentation of the why3 verification platform why3-examples - Examples for the why3 verification platform Changes: why3 (0.87.2-3) unstable; urgency=medium . * adapt to coq version 8.6: - patch coq8.6: compile coq plugin with coq8.6. Thanks to Guillaume Melquiond for the patch! - add autoconf to build-dependency (needed since configure.in is patched) - fix path of ocaml libdir in debian/libwhy3-ocaml-dev.install Checksums-Sha1: 7b72cc089adc2f2a361ca41e180b4fd9d19add61 2623 why3_0.87.2-3.dsc 6119abe29e8f494f9f81dce2d42e311b6f88ad7b 24312 why3_0.87.2-3.debian.tar.xz Checksums-Sha256: 5422b9d14e8f516b06f325df664d58570d4627c6e4862f8629c800fd92edc44d 2623 why3_0.87.2-3.dsc 58b2f3c79778d3a7745a94b2137279845af31808997ccd2a8d5cfbc3f6a35fd5 24312 why3_0.87.2-3.debian.tar.xz Files: 619bb62d887f523a885f6d58076dc209 2623 math optional why3_0.87.2-3.dsc f31130e9c3b97a175b98e67690efb1d3 24312 math optional why3_0.87.2-3.debian.tar.xz
-----BEGIN PGP SIGNATURE----- iQIzBAEBCAAdFiEEAgVIKeEtDyqOZI5idFxHZtTKzf8FAlhsCO8ACgkQdFxHZtTK zf/mKBAAk/XwhxpCTOf4SrhUB9pfxiC3Ik0x3CNApuVP/rgrxEuK90n5NYA6B9f+ nOUipYXL3slQt4jLzj6WBuFAVtyoOCZ2uCDhVPGaBK/XEJ8a4tU0/lR4ygypa9a5 eqTJJSmnOIpzOkneOn4/1ZnRL1TMFOrBDL6GbRp88fF5GNySDfrg2wbXe4a0cnyX RxtvRQGp/JZ/EULOCaMIVA3iRARmAe6gRvVDHP5Z59piDtHPgh6F+TVz0P1tCrpr R1SfX0o4h/q4ksgxiPCX5I/DC9K9ObpH95Ec/XVfC2C8PFo+jOxUPzmBVqSbA4Qy oPXsRSrhszp1Lxkm/nZYuqcvS04hQzbYWXaGIHQknusHTXP4+jB3wEi+z9EfxihC BJjbg9TiiFRyn8bH6bLGG6ZVmu3bqUhlW0q+G8VelqYhuW/nb5KdFSoTznTDXWER rKBbjuLSsQj4W6xIjfzvnvXtvJH7XSUxjpwNyu/mc6jdVZb1KQddMMFRcpLfsGfp FEilR2IUnIh0LbasK4ynrYI6reZ2t9EoqQVIUKt96YETxjnTcP9R23BDMmusbEaF w3Trm5oIk3S2VZskhFXAvGELIJcAzMPD478wbai3c3vA4xjlQn4+0TFH23Mb2sVU 5fY7kZ2jL0LNR3imFEWAFGeHp895/flANCtH+MgefZS3hzO22Uk= =I+up -----END PGP SIGNATURE-----