-----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-----
