Accepted why3 1.0.0-1 (source) into unstable
-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA256
Format: 1.8
Date: Wed, 27 Jun 2018 22:19:33 +0200
Source: why3
Binary: why3 why3-coq libwhy3-ocaml-dev why3-examples why3-doc-html why3-doc-pdf
Architecture: source
Version: 1.0.0-1
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
Closes: 902308
Changes:
why3 (1.0.0-1) unstable; urgency=medium
.
* New upstream version
- drop patch getopt_long-return-value which has been applied upstream
* Upstream does no longer build coq-tactic:
- drop these from why3-coq.install
- drop mention of these from the long description of why3-coq
* libwhy3-ocaml-dep: add dependency ${shlibs:Depends}
* As-installed-tests:
- adapt the why3 files in d/tests/why to the new syntax of WhyML
- mark tests with cvc3 and cvc4 as flaky (closes: #902308)
- test why3+cvc4: specify 'CVC4 1.5' in the invocation of why3,
constrain the dependency of the test on cvc4 accordingly.
* NEWS.Debian: new syntax of WhyML, new location of standard lib
Checksums-Sha1:
f0bc0b697e247ce76de2dc1c65aa4f7fd0317f7a 2613 why3_1.0.0-1.dsc
795256c2e5560b5f57953d5df7cc56898f1ddd64 5209657 why3_1.0.0.orig.tar.gz
62b7202123cc29ae68e1090cd2261559eabd8367 13100 why3_1.0.0-1.debian.tar.xz
1441c4a9a3a50fbb2d34d84e2236e8521dc1b1d4 12389 why3_1.0.0-1_source.buildinfo
Checksums-Sha256:
a503ff21d45fac02025959ff8d4a64b4c4592cc3bfc93d999a73e3080384a148 2613 why3_1.0.0-1.dsc
b65f4c1661ac8a6240778e6fa553c46098a26d029b02e5cf0e05b0c0630300a2 5209657 why3_1.0.0.orig.tar.gz
891d6af8212be008fbf3afb891bb1dff343378777d31f9249af1914b7cda805c 13100 why3_1.0.0-1.debian.tar.xz
528e8e9f57d4f6285d6393e34add582f24768d9e54528579e770c72331673333 12389 why3_1.0.0-1_source.buildinfo
Files:
b6dc69b1594ea6de50fcd1016de24dbb 2613 math optional why3_1.0.0-1.dsc
3477ce6b826bbba1562117239f0e9f81 5209657 math optional why3_1.0.0.orig.tar.gz
12f2de99e06d1465f6fea63b8d933baa 13100 math optional why3_1.0.0-1.debian.tar.xz
7a23dbe5e6374de611a93605b72716d9 12389 math optional why3_1.0.0-1_source.buildinfo
-----BEGIN PGP SIGNATURE-----
iQIzBAEBCAAdFiEEAgVIKeEtDyqOZI5idFxHZtTKzf8FAlsz95EACgkQdFxHZtTK
zf/7ew//SXycKW+D7WEm7Tm5Od6dR1R/EXHSS8VlMOc76RnJYQtxErqHvpToDiT3
Z304kgO4iD705UGxO+rzP6m/h03sz7aK8At49eUnVoLq4iVO9qMRLZJwhVHTIzMZ
e9zIy6FDWzlAdNBY6l9VNJZmlV1gwLAtemtPIovqpTPkpd/S+3FfpIRFhXd42UGv
ymhYn42FAX6Oan2v4vaM7GJALlQJ82B5z0R//oU3xS+tw42mC676yKw5tJvm/00W
bn+9Bi8+bU++iKINcriDPOMpetbbJfhIGzZXUDSHOisj7mExeu7CpWS6/FBB9lri
9GL2dStxbtjzXpkMEh3u3/r2phJagHhqrTcjIGfSpxnrt2wweVC3FNPO/KO1IX/c
JTAFIMLoXIAwhSv/menbQuhv8wobcDPJgQW08cQNdE5HeTKXfaZqjG63gYI565wN
904LSIMX5fnYpAYvmTmv/r/+Nfi2Uavw1KHz2vaqCk6ISviLzRFot2FpDaIjSD1r
mGcE6vfo3unjpJ8n++CcSpGdT2dghUq7ViYTHyaGYQiC02vMo0oMb3ulc2RjEciN
b7MhnXkh2NfLdcJhELs43U+36Xb24TfaKNS7e/c15yf9XQh9uJxdvog+TdnJ1mYf
Pd/MH3ozDqAUe0Us08Ok1mXcHEs38TSO/Ixr3zFUqYrTjLYZtjY=
=11C4
-----END PGP SIGNATURE-----