Accepted why 2.39-1 (source) into unstable
-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA256
Format: 1.8
Date: Wed, 06 Sep 2017 21:34:58 +0200
Source: why
Binary: why libwhy-coq
Architecture: source
Version: 2.39-1
Distribution: unstable
Urgency: medium
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
Changed-By: Ralf Treinen <treinen@debian.org>
Description:
libwhy-coq - Why library for Coq
why - Software verification tool for C and Java
Closes: 872281
Changes:
why (2.39-1) unstable; urgency=medium
.
* New upstream version (closes: #872281)
* Bumped build-dependency on frama-c-base to 20170501+phosphorus+dfsg
* debian/copyright:
- migrate to machine-readable format 1.0
- fix upstream contact (Claude Marché)
* Standards-Version 4.0.1 (no change)
* Dropped build-dep on autotools-dev, which is obsolete with DH level 10.
Checksums-Sha1:
7cb4fe9e97c280680c5030d6f1d30b185546f50b 2416 why_2.39-1.dsc
1483e8ebc9f759e70900ea592da5b347259810d6 1694571 why_2.39.orig.tar.gz
c9ce00aa4b582a3c667c107645487b7401019ac1 11688 why_2.39-1.debian.tar.xz
e0937126e4be7c5b7ef3616cc862d28ef5de4c8a 8641 why_2.39-1_source.buildinfo
Checksums-Sha256:
9e53174db6c599c4a772ee489f77a6aacf15a6cae198eeb67810b4d02f6cc9ea 2416 why_2.39-1.dsc
4815111efa3d31c2e209ec98346ac67dd3578fb355adf9d04ff86800a83cc159 1694571 why_2.39.orig.tar.gz
6ec76cd7fb5a69a388b105c7745419a5486564e9f3054da5a8c44382908ed7c3 11688 why_2.39-1.debian.tar.xz
5e03508838a1753149fadbf796680bf3b2dd24fc1843151480dbbb60950d7d68 8641 why_2.39-1_source.buildinfo
Files:
42ea6631d60a5b788a74fe1bf98b9b9b 2416 math optional why_2.39-1.dsc
d03ea54b2d37039d26a1f2f82b61d860 1694571 math optional why_2.39.orig.tar.gz
1bda2c15b8c573c6255229dfd49e25b3 11688 math optional why_2.39-1.debian.tar.xz
81255ce7a871a815aff56d510ddd7138 8641 math optional why_2.39-1_source.buildinfo
-----BEGIN PGP SIGNATURE-----
iQIzBAEBCAAdFiEEAgVIKeEtDyqOZI5idFxHZtTKzf8FAlmwVCcACgkQdFxHZtTK
zf8wsQ//WMc7rOUGxiWMsloprIYkkFschKvfeSX6fsDpxcCIYxRQKthdSkrdHv4w
Nu4Q/zkVGDDat0sdKjoTUwgYUZYOQ18GOAs4iNDvqIAW+6y4qq3h/CSBDXJFi/8O
uRkf8lurKWGoFDhtoMChjCCJmV/fMPQRq5/Zpzvpu3RNRZ+m/GqFlHiAjDIO1HD/
L8GektzHLMZkNJawHqMtX/iepghCiYvS8gChyTk1ksVuxA3M0+worc2wTY7MBhcy
m/25eqm2XYCplBmqxYs0sjH/+BIHGFkele6/RFm55ChHMmcvELCIW/RUtTmRlprJ
420HbBOaW8KAoWktqQW93XJEBocGKd/eX5S+zcK3TaxcypjyHFwttA+kCRNQZO7p
amWVgbON2q7w3LEdzT6q2I71h7c2Kxn8Uz+QLnJdeyEekmmrnxkuD7kWPsOJPO+B
MSOatOIjhEgEufAMooUFBmZq2G0JmhR+mLYo++VQGbAWbFL73MYckhOfMYi62Kt3
15/5Np+cGsfyUgaSLprmFufBUeYnaZQl3MX/4isjPKQCDSmfuKgUtylACE6GATgS
AOndFRlbUFoUeF+51wnrflXC8448hAu0jdIWz2ATWvevIeg4Jfqueb8mLD9RKrou
67LVbqvENihrF0VkC3eS3vOY8JmA+3ZJ3DYBigDacx/XTDRElSw=
=NtpJ
-----END PGP SIGNATURE-----