Accepted why3 0.88.2-1 (source) into unstable
-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA256
Format: 1.8
Date: Tue, 12 Dec 2017 22:22:24 +0100
Source: why3
Binary: why3 why3-coq libwhy3-ocaml-dev why3-examples why3-doc-html why3-doc-pdf
Architecture: source
Version: 0.88.2-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
Changes:
why3 (0.88.2-1) unstable; urgency=medium
.
* New upstream version.
* Standards-Version 4.1.2 (no change)
* d/rules:
- recreate in target configure the empty directories that are
in the orig tarball.
- invoke dh_missing with --fail-missing
* fix why3.install, add missing files from usr/lib
* Added build-dep-indep texlive-bibtex-extra
* debhelper compat level 10
* New SMT solver cvc4:
- add as an alternative Recommends
- add autopkgtest test case
Checksums-Sha1:
902cea48143e493f24cc37c1024b5e186adb1794 2642 why3_0.88.2-1.dsc
2543c65709eadcc28efb5a17e32138c9e2463153 4488646 why3_0.88.2.orig.tar.gz
1ac1d2679f0555dbc6725baf0383762c7de80967 12592 why3_0.88.2-1.debian.tar.xz
6f9f9e83c2b3ee6515500f5493a1b114eb52eb47 12131 why3_0.88.2-1_source.buildinfo
Checksums-Sha256:
341678e4ea0473b4f01e5df90b881d0b1c9f2674c7fb604d63de6b50a257c816 2642 why3_0.88.2-1.dsc
83f2c8887aa9717d5dcc03bde16b495a93819826f7a06277adbdf2f3be33d8f8 4488646 why3_0.88.2.orig.tar.gz
06854e2779b0954c10d5d994eb4993ef9fed875c8c71d1f3923485a2d5a4490c 12592 why3_0.88.2-1.debian.tar.xz
998eab7bff588115d30de6f878fcb87fc0f5a273203e802d14827fcc176672aa 12131 why3_0.88.2-1_source.buildinfo
Files:
cd948e8387c2e335fe39b0f72f15f150 2642 math optional why3_0.88.2-1.dsc
72f185431d909aeb6b0a1e7043a600ec 4488646 math optional why3_0.88.2.orig.tar.gz
ba3e23a1dcb239e33b2ba179b2038ce3 12592 math optional why3_0.88.2-1.debian.tar.xz
5f5072e85189aa7463c7eac4f7d3a591 12131 math optional why3_0.88.2-1_source.buildinfo
-----BEGIN PGP SIGNATURE-----
iQIzBAEBCAAdFiEEAgVIKeEtDyqOZI5idFxHZtTKzf8FAlowTHYACgkQdFxHZtTK
zf+d/Q//dHyDERY2dTWIzwyGCbAs+2yQJNcnBJa8i6MjajAk5iCclqCgK8a1PX4K
2nJJlwo3kP0sUXZowWUmJb0vulClRcS7MXa1QgXQi7WVSciEmGm0tTKk6cObYAmZ
eogbgVadQu/ckOVhFdUR1lVh1J/+2gTrnbhiyYD+8q2kRrRFrT57+hfVjFoLpeQl
SCgceZ4YTYHbhF3z4VHfmA8znc9LNsZDD+VPt6Zb4CnDn+joWVnaPh1fR2PUXdfz
2caIlhYVRahKJYts9Zks0YYCNtqdl7ADPcg2EZWiSNbMEk31yRUuDajugly7vFdv
xX3fgElV3hBJmKBkA1NYZFHKT2vw62Uwco0xG6ORPXPhlVBS6pBHjiDpwe7vxv9l
TN2W55BoJWVZQxmfaarGceH5SPu4J5WD04E3sdMiKNUH+LxtdIOu7jSjaG6l1J5U
hstxwMdzOl2A6R6dimujipQM+luQ+wQ+215G7TcpHJrCXxlYcbU+sU/9OdjE+qqa
LAuFHaE49A5gddt55mggVTueGG3mzWoDIz2mMEdhsXZXvPk9NiZS81hUVpAjeGAU
QcLevVmT0LT0t6O0oZSvC4ZjQYD6iL14MqUl44T4ULnL76pVy28cePVK3Kxk/x2o
1q9wWBaWMMvAMr/Z8J5aNAJSuKCTq5kbJwPeqwcq+uTkRDYABZU=
=3hmG
-----END PGP SIGNATURE-----