[Date Prev][Date Next] [Thread Prev][Thread Next] [Date Index] [Thread Index]

Bug#1050849: marked as done (creduce upstream homepage)

Your message dated Sat, 25 Nov 2023 09:03:58 +0000
with message-id <E1r6oZy-00G8qU-JP@fasolo.debian.org>
and subject line Bug#1050849: fixed in creduce 2.11.0~20231125-1
has caused the Debian Bug report #1050849,
regarding creduce upstream homepage
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 owner@bugs.debian.org
immediately.)


-- 
1050849: https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=1050849
Debian Bug Tracking System
Contact owner@bugs.debian.org with problems
--- Begin Message --- 
Source: creduce
Version: 2.11.0~20230819-1

Could someone please document where creduce homepage is located nowadays.

http://embed.cs.utah.edu/creduce/ seems to be gone.

I am not clear what to do with reports such as:

===< pass_clang_binsrch :: replace-function-def-with-decl >===
Segmentation fault

***************************************************

pass_clang_binsrch::replace-function-def-with-decl has encountered a bug:
crashed: "/usr/libexec/clang_delta"
--transformation=replace-function-def-with-decl --counter=1
--to-counter=25 /tmp/creduce-2sfsbN/mul_test.cc

Please consider tarring up /home/malat/creduce_bug_000
and mailing it to creduce-bugs@flux.utah.edu and we will try to fix
the bug.

This bug is not fatal, C-Reduce will continue to execute.

***************************************************

===< pass_clang_binsrch :: remove-unused-function >===

Thank you !

--- End Message ---
--- Begin Message --- 
Source: creduce
Source-Version: 2.11.0~20231125-1
Done: Matthias Klose <doko@debian.org>

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 1050849@bugs.debian.org,
and the maintainer will reopen the bug report if appropriate.

Debian distribution maintenance software
pp.
Matthias Klose <doko@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 ftpmaster@ftp-master.debian.org)


-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA512

Format: 1.8
Date: Sat, 25 Nov 2023 09:27:49 +0100
Source: creduce
Architecture: source
Version: 2.11.0~20231125-1
Distribution: unstable
Urgency: medium
Maintainer: Debian GCC Maintainers <debian-gcc@lists.debian.org>
Changed-By: Matthias Klose <doko@debian.org>
Closes: 1050849
Changes:
 creduce (2.11.0~20231125-1) unstable; urgency=medium
 .
   * New upstream snapshot, taken from master branch.
   * Update home page. Closes: #1050849.
   * Update watch file.
Checksums-Sha1:
 59802392778d10befcfbfbe6e92401fc8c18cb6c 2155 creduce_2.11.0~20231125-1.dsc
 f4411403a6ed6f3ce01c7b7fb1879b6177bde842 484288 creduce_2.11.0~20231125.orig.tar.xz
 bd840c4be0b138fe128aaed68906d7eac80639e8 7768 creduce_2.11.0~20231125-1.debian.tar.xz
 3104a5f8e5cb79d6f69418ef61284cb510df7265 11657 creduce_2.11.0~20231125-1_source.buildinfo
Checksums-Sha256:
 0aeb9ad223e6befa4271a2b8da6cd4e08bd4a7e67ca210fa9e5bce163edbe612 2155 creduce_2.11.0~20231125-1.dsc
 da778e8931f01c58ba13e4fbb96f100149d9de813fadc692df2ae8306d1c5935 484288 creduce_2.11.0~20231125.orig.tar.xz
 d044abf4ce403920827295cc61c19f602ea7ceffb2dd4de7a2ddb9e171fd18a9 7768 creduce_2.11.0~20231125-1.debian.tar.xz
 07174a3e5fd3108f36f71306a11da7f44a2091a38ba01cb7854ef87f172f8699 11657 creduce_2.11.0~20231125-1_source.buildinfo
Files:
 c15143b4bbfe0e8829bfadae50dfe9ff 2155 devel optional creduce_2.11.0~20231125-1.dsc
 bbe12059bbe873c7dbb283cf96aeca5f 484288 devel optional creduce_2.11.0~20231125.orig.tar.xz
 00c4006844be77ca9d47613efc786890 7768 devel optional creduce_2.11.0~20231125-1.debian.tar.xz
 64bd9e28e9a5234ae2ae1cd72b415a9a 11657 devel optional creduce_2.11.0~20231125-1_source.buildinfo

-----BEGIN PGP SIGNATURE-----

iQJEBAEBCgAuFiEE1WVxuIqLuvFAv2PWvX6qYHePpvUFAmVhsXoQHGRva29AZGVi
aWFuLm9yZwAKCRC9fqpgd4+m9ZctEADWyYB2jOm9+wASaK7Er0FxzrS2j5z6Q8CR
yAnP8fPp9uZiLusIl5E5+RK5DzZKVi1qMPFmcFfCAMr+Adq/puu0P+CNY3nGDJTi
vENmlFyg2nMGlQJvy1axc7Wx8LqiaBOJdkcABhZs6UjaEkWo/ohWLG3XIbScgHcz
Bv9CwfBFAkCgYN40w9FZudwYTRb1Tq5lw7FYob0E9y0wfsbV+hvNRlYqJ4aTjWDZ
P/ZX2K+DGC5KU+iccYCpRAkU07AA/WeRaz/rfOJIVNeF3omnY+JwIEbh5YwCc/JJ
0qEh9dT9eakFf7xp9crhDvprCKFOqlmAD5HIylgYDpbsp+Ml76lMpqhlFRSYslec
Xf7jDTDC7twROMbRlsZW873YR0KBckNzsimRQJes9JfYxPWqbG14Xp/46ooGCLx0
f3jJEOuR4IYd2guGwcFnp3D0IT9v7SsMkMTlquF2bxnn9+AVNGs6e/RfmQJnzhXA
La/PwCdGKQ+IakwQPNh0CoggreJaNEAeqdDEwOeTGCjGwn/jh+cNicLLvR7gD/dm
nFtb5+xDb27xZ0Bn3kyqu3OxZvs249BV59A/d9kBgOvu9qAGYc4O1EaBRZQ7MREM
J8Wdusb/6sQf6sRZaNNxVyK+xkjl3rwGmRkzO9T4JIipt8KSHjaN+cHOJPCrHBct
x8/ocFLdhA==
=CQlg
-----END PGP SIGNATURE-----

--- End Message ---
Reply to: