Your message dated Thu, 16 Jan 2020 13:49:14 +0000
with message-id <e1is5wm-0002i3...@fasolo.debian.org>
and subject line Bug#945886: fixed in creduce 2.10.0+20200116-1
has caused the Debian Bug report #945886,
regarding creduce: build-depends on package that is not in testing.
to be marked as done.

This means that you claim that the problem has been dealt with.
If this is not the case it is now your responsibility to reopen the
Bug report if necessary, and/or fix the problem forthwith.

(NB: If you are a system administrator and have no idea what this
message is talking about, this may indicate a serious mail system
misconfiguration somewhere. Please contact ow...@bugs.debian.org
immediately.)


-- 
945886: https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=945886
Debian Bug Tracking System
Contact ow...@bugs.debian.org with problems
--- Begin Message ---
Package: creduce
Version: 2.10.0-2
Severity: serious

creduce build-depends on frama-c-base which is built by the frama-c source 
package which is not currently in testing.

Either frama-c needs to be fixed to get it back in testing, creduce needs to 
eliminate the dependency (no idea if this is possible, i'm just looking at 
dependency issues in debian, i don't know anything about the details of this 
package) or creduce needs to leave testing too.

--- End Message ---
--- Begin Message ---
Source: creduce
Source-Version: 2.10.0+20200116-1

We believe that the bug you reported is fixed in the latest version of
creduce, which is due to be installed in the Debian FTP archive.

A summary of the changes between this version and the previous one is
attached.

Thank you for reporting the bug, which will now be closed.  If you
have further comments please address them to 945...@bugs.debian.org,
and the maintainer will reopen the bug report if appropriate.

Debian distribution maintenance software
pp.
Matthias Klose <d...@debian.org> (supplier of updated creduce package)

(This message was generated automatically at their request; if you
believe that there is a problem with it please contact the archive
administrators by mailing ftpmas...@ftp-master.debian.org)


-----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 <d...@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-----

--- End Message ---

Reply via email to