Accepted why3 0.87.2-3 (source) into unstable
-----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-maint@lists.debian.org>
Changed-By: Ralf Treinen <treinen@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-----