Accepted why3 1.5.0-1 (source) into unstable
- To: debian-devel-changes@lists.debian.org
- Subject: Accepted why3 1.5.0-1 (source) into unstable
- From: Debian FTP Masters <ftpmaster@ftp-master.debian.org>
- Date: Tue, 03 May 2022 08:37:30 +0000
- Dkim-signature: v=1; a=rsa-sha256; q=dns/txt; c=relaxed/relaxed; d=ftp-master.debian.org; s=smtpauto.fasolo; h=Date:Message-Id:Subject: Content-Transfer-Encoding:Content-Type:MIME-Version:To:Reply-To:From:Cc: Content-ID:Content-Description:In-Reply-To:References; bh=DuuGY4EVvgsW3yOvmTzPnMMeKzXttUHyg9Yyzbnt0hE=; b=YegDdo7jIsBpW+QpxgXu1cvQKd 7jPiYoo/C7CFVZWNZ3HkZ3bBmZ7o8fDRfKTgkQjA/yJf3x3ugbsl+PmYNtV9AayMlyKOK8l1jQBhS blugiSGWkTISGVXYx3a+PICcb81uP3WJjbbKBXdJS46sdy/g8+AVX7pd7DOpsSiVMkjXpo3HLtL1o C85wDDkhlvO3Z0Gttt3YzwmCfPBUn7uttfWAj6vPIj5yYyidmowB9FSAralKCaW1miuIYeQzwLfvX n9zOHYsaadI9nnbaX8EYevSg3v7vF6ld7mvLVRT7HfnZOP24evh1YWlFV2/t4Mz4HC/JxEf6bdbpw BlB77qzA==;
- Mail-followup-to: debian-devel@lists.debian.org
- Message-id: <E1nlo2E-00035c-HT@fasolo.debian.org>
- Reply-to: debian-devel@lists.debian.org
-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA256
Format: 1.8
Date: Tue, 03 May 2022 08:00:48 +0200
Source: why3
Architecture: source
Version: 1.5.0-1
Distribution: unstable
Urgency: medium
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
Changed-By: Ralf Treinen <treinen@debian.org>
Changes:
why3 (1.5.0-1) unstable; urgency=medium
.
* New upstream version.
* Refresh patch hardening-flags.
* Drop patch ocamlgraph-cma, issue has been fixed upstream.
* debian/rules: configure with option --disable-coq-libs, so that
we are sure that coq stuff is not build.
* Bump dependency on z3 to (<< 4.8.16).
* Simplify test why3+z3: drop preliminary testing of z3.
Checksums-Sha1:
76f3940dcd4e92613a37239ee49e321a3d24fb22 2662 why3_1.5.0-1.dsc
492289d5e975b48a5cf3949265e29358191ffe95 6723500 why3_1.5.0.orig.tar.gz
e43428e5e87b9649e211efe3959954d9001c2e74 18340 why3_1.5.0-1.debian.tar.xz
1a02921bd230f86c9850a5ded323901786a0acf5 14975 why3_1.5.0-1_source.buildinfo
Checksums-Sha256:
3bae20a77e195ae39f49f97b8bfd20452cb7c047fa5f07d00475fa6130f8034d 2662 why3_1.5.0-1.dsc
1962b647e66bf4cdb457883d9d3c0ad0c421fef794589740ece355ec6f225062 6723500 why3_1.5.0.orig.tar.gz
01676bd0eebf2b7808f316cc0ba61e2a373aba690de8db4a8127bc8cd512fa07 18340 why3_1.5.0-1.debian.tar.xz
60e642f621320d27ac605dd4851b70ebc4e322b3def3479af42dae27915f296f 14975 why3_1.5.0-1_source.buildinfo
Files:
579a67c9bfeefb847f4509e00dfa60f9 2662 math optional why3_1.5.0-1.dsc
fbe909444b17611ddcc8ce8b8288006b 6723500 math optional why3_1.5.0.orig.tar.gz
a6e6baa28613229571576d3ea1d9f1db 18340 math optional why3_1.5.0-1.debian.tar.xz
c4e61dc69379d06e0199ce63aa4fe2a8 14975 math optional why3_1.5.0-1_source.buildinfo
-----BEGIN PGP SIGNATURE-----
iQIzBAEBCAAdFiEEAgVIKeEtDyqOZI5idFxHZtTKzf8FAmJw5PsACgkQdFxHZtTK
zf84Eg/9Hok9z4IFE+ryOyC7NOS2WioLSJpbs/oGHNKKTQGp7xAmbZu/BhvT2Nf6
8EALBA6CpXLjM2RKvvWrrhlct6KthkTNiwqTlKuEdhppemdkfvDy0Y5QU3DIPwRr
S2CoPXhgeaHsc8bnXABJCd27KNJ7XPtCpyHv+ZxMlqKBFBN1xtfz3njjAB4Ieqd3
53fjmaz74FEUzaqPOxLY5yuuZvkMlKoOfalr2l0SH8oXka8fymZWUlLH4shvWwMv
1Mf4hf6osX1VHWUoB+grlxLSNf9Dke8kdGQh8TOBq9pW+cUkIwTTYg7C0Hu1CWyl
cLnpMFB5mB1jX9bLYw8k9q/mNyyagFh2LchbKES4Mg526P1+0+Mv8b8Y3bc7tVF5
NXYpH6x3u7ah7oJMCv4512wJXcwodQSKFys7Ua1muV4HWry9vbx3C4bqe2ePYMTf
jtpGCHx7djF5VyyNi1+RECDmb90woBBjERzGGIF4N6NxOTCdQiwyzc61hLLD52nU
hfMIpUe9CB+AokJw2U3ANkaO9aNSVEfAEdaySea3+x+5h+PJ9Yy/Dcw6zBfV5P+j
oJCgbSnn1oYaCrICDloY2CykDKic1YQtxk5Kq5l6MIBkM5s/4bcbJC89x9qQUxFO
4lxR5C7jRt25KA+aDz2c1lPAgc2DYY0H4mJSKFfKqH/hq4mbgfQ=
=3kBL
-----END PGP SIGNATURE-----