Accepted creduce 2.10.0+20200116-1 (source) into unstable
-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA256
Format: 1.8
Date: Thu, 16 Jan 2020 12:24:59 +0100
Source: creduce
Architecture: source
Version: 2.10.0+20200116-1
Distribution: unstable
Urgency: medium
Maintainer: Debian GCC Maintainers <debian-gcc@lists.debian.org>
Changed-By: Matthias Klose <doko@debian.org>
Closes: 945886
Changes:
creduce (2.10.0+20200116-1) unstable; urgency=medium
.
* New upstream snapshot.
* Build using llvm-9.
* Don't run the tests, frama-c-base removed in unstable. Closes: #945886.
Checksums-Sha1:
e58163351f3f4591522e478c8f688c0240074fd5 2112 creduce_2.10.0+20200116-1.dsc
52539297479b64033aa1aa3eb90989a288532b7a 474256 creduce_2.10.0+20200116.orig.tar.xz
8d4c4ed1e35da0b37106b812951eda1aaeeae8b1 7136 creduce_2.10.0+20200116-1.debian.tar.xz
b3575c44677bbe2cd0712c9f888b54da3d3d5f79 7394 creduce_2.10.0+20200116-1_source.buildinfo
Checksums-Sha256:
8956aeb528c6ca505cdf0936f19a5c967f7743d5d41d5fd743c25d8882388b80 2112 creduce_2.10.0+20200116-1.dsc
165d7b559317ff15860b430779bb74d82824d55c737a09f0fed4d1e48f59393a 474256 creduce_2.10.0+20200116.orig.tar.xz
170455089a5179623cd755df1d5c12e32d9178bb3ec6f8910110751b353bdd38 7136 creduce_2.10.0+20200116-1.debian.tar.xz
1a2c7c7a63a12f2c23f39fb629fe851a8dba8a561aeb74bfdfafb4e5eae268a5 7394 creduce_2.10.0+20200116-1_source.buildinfo
Files:
5e29bf2aad79ccf059bac1526d3260bb 2112 devel optional creduce_2.10.0+20200116-1.dsc
ce2f7b7dfcd12b7bebc2ac501c53e380 474256 devel optional creduce_2.10.0+20200116.orig.tar.xz
9bbd3863db4fa19557cc8465ef868392 7136 devel optional creduce_2.10.0+20200116-1.debian.tar.xz
f1da6b2b359918ce7df72685f1b94d27 7394 devel optional creduce_2.10.0+20200116-1_source.buildinfo
-----BEGIN PGP SIGNATURE-----
iQJEBAEBCAAuFiEE1WVxuIqLuvFAv2PWvX6qYHePpvUFAl4gTn8QHGRva29AZGVi
aWFuLm9yZwAKCRC9fqpgd4+m9dhHEACbP85S/7i6QcQaklx5DYjPapvZf+zXQWR4
uP010oG1tWFa2oLfYIMHvZBVz5ADIrJbJniXmzO5R+AbxAVMq0aN17Aa3FfhPF3U
1KRmSwoASF3waZnOnxiZAppS/bXMxY8cc1Bav52dyKITV+rAtdHB0iGpH/gNthQG
xb4LvlojvxbP+xgImwuPQpJF8KzadXHtCv/aTOFb/8zzS13+CA4DOS6mbM72+0vS
eTW8/FDP8UHjkzFqY5NQOQx5I0dU3Anq2s6YbhmY+wsiQDfgd19oMfzsY30txjaH
CKcllyhKmXOhERHCb+zI2a6gzD/UA30xR59iYRs+RPIp1H3XKP6W05tHoU9s9yKb
DeQ6N7f2YlwoPOWA9wqSVohoDeU5WoakAg+YAValhhZhYapjd/10N9bH+JQX5WPo
TwelRjPRVGMX8QlToFiI7TE8KcC2yTfgOUYM0J8Qe9mPJwNk2PQKy221nP0FeZ8i
cVGxzhvSxkQrXfF0dVzW0zqv4kBuvNgK2Rwu711VSR4xDj5h0oLd+i/0WQMNd3LX
4cE/MBxzgCEyYC+qlmpLlIhurQHzLC2w69T5BGDaKVBxOEVi9XLhtIF7XtUeRt1t
RfhjkZrU1hSk/V/Air0xTt3wl4if0QM91lJ2n39TgGO6+SD7Ix+rbC7F9q8gXr2W
d7RAQDmQ+A==
=FBjJ
-----END PGP SIGNATURE-----