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

Bug#633762: marked as done (ITP: csmith -- random generator of C programs)

Your message dated Fri, 05 Feb 2016 23:00:25 +0000
with message-id <E1aRpMX-0004HM-4H@franck.debian.org>
and subject line Bug#633762: fixed in csmith 2.2.0-1
has caused the Debian Bug report #633762,
regarding ITP: csmith -- random generator of C programs
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.)


-- 
633762: http://bugs.debian.org/cgi-bin/bugreport.cgi?bug=633762
Debian Bug Tracking System
Contact owner@bugs.debian.org with problems
--- Begin Message --- 
Package: wnpp
Severity: wishlist
Owner: Peter Pentchev <roam@ringlet.net>

* Package name    : csmith
  Version         : 2.0.0
  Upstream Author : Xuejun Yang <jxyang@cs.utah.edu>,
                    Yang Chen <chenyang@cs.utah.edu>,
		    Eric Eide <eeide@cs.utah.edu>,
		    John Regehr <regehr@cs.utah.edu>
* URL             : http://embed.cs.utah.edu/csmith/
* License         : BSD-2
  Programming Lang: C++
  Description     : random generator of C programs

Csmith is a tool that can generate random C programs that statically
and dynamically conform to the C99 standard. Thus, it is useful for
stress-testing compilers, static analyzers, and other tools that
process C code.

Attachment: signature.asc
Description: Digital signature


--- End Message ---
--- Begin Message --- 
Source: csmith
Source-Version: 2.2.0-1

We believe that the bug you reported is fixed in the latest version of
csmith, 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 633762@bugs.debian.org,
and the maintainer will reopen the bug report if appropriate.

Debian distribution maintenance software
pp.
Nobuhiro Iwamatsu <iwamatsu@debian.org> (supplier of updated csmith 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: SHA256

Format: 1.8
Date: Sat, 14 Nov 2015 04:49:14 +0900
Source: csmith
Binary: csmith libcsmith0 libcsmith-dev libcsmith0-dbg
Architecture: source amd64
Version: 2.2.0-1
Distribution: unstable
Urgency: low
Maintainer: Nobuhiro Iwamatsu <iwamatsu@debian.org>
Changed-By: Nobuhiro Iwamatsu <iwamatsu@debian.org>
Description:
 csmith     - generator of random C programs
 libcsmith-dev - generator of random C programs (development files)
 libcsmith0 - generator of random C programs (runtime library)
 libcsmith0-dbg - generator of random C programs (debugging symbols)
Closes: 633762
Changes:
 csmith (2.2.0-1) unstable; urgency=low
 .
   * Initial release. (Closes: #633762)
Checksums-Sha1:
 36cf8a79107d1cace02a89712876318270a626ef 2017 csmith_2.2.0-1.dsc
 8eaa4def893cda1d706536f5bde67ee7bd8da49c 618523 csmith_2.2.0.orig.tar.gz
 c60bb760367e3122029688717850fe2281e7704e 2984 csmith_2.2.0-1.debian.tar.xz
 62a263e92fc99dcbbfb230af13cde3a20026d63e 308900 csmith_2.2.0-1_amd64.deb
 94c5dac3df4369249888c071143e04e849375577 17134 libcsmith-dev_2.2.0-1_amd64.deb
 fededb8ebe7fa9b0350ab957606f0ba11f921183 5397192 libcsmith0-dbg_2.2.0-1_amd64.deb
 225d51a9862417863f4eb36f52a65149d45a4aa2 7286 libcsmith0_2.2.0-1_amd64.deb
Checksums-Sha256:
 544994ae1a3f3e0223677044227046f983d511826331418838dc5ab69422dab8 2017 csmith_2.2.0-1.dsc
 43a3de2355a9afb481b195163f115117971be6bca8f9d4d43176f73c88fd2fa2 618523 csmith_2.2.0.orig.tar.gz
 2f2471c9d706848dde1931880ee3f2d96a5dadae694eae4ba4333514a0088ff2 2984 csmith_2.2.0-1.debian.tar.xz
 31f41f647c76180301443cb545ae466a7eb5fee4651d7474c545060948a6d976 308900 csmith_2.2.0-1_amd64.deb
 807d055d8a55a4853af8958a87554e6474536bd15edc59333201e8c9637f4fd7 17134 libcsmith-dev_2.2.0-1_amd64.deb
 bf744f3a38982da8b1adcead4bb9af408b433181f7fdd46e653dec8302b04b63 5397192 libcsmith0-dbg_2.2.0-1_amd64.deb
 ea602f11e73c97241a01e16e8722e5c134014c8b5cc377ab8c766460f27b24a8 7286 libcsmith0_2.2.0-1_amd64.deb
Files:
 cfefffdb7d3eb3a18ad3399e69ca0ad6 2017 devel optional csmith_2.2.0-1.dsc
 24f9cfb0ed4ff4b5dcfbb26409a94df3 618523 devel optional csmith_2.2.0.orig.tar.gz
 cae12fe1bc2a7d7a70c2671b35073c05 2984 devel optional csmith_2.2.0-1.debian.tar.xz
 46e595349212e03778bfca0d6162781b 308900 devel optional csmith_2.2.0-1_amd64.deb
 18106e1ccc344eea1f18575b9700b2d9 17134 libdevel optional libcsmith-dev_2.2.0-1_amd64.deb
 35d343429bd4cd2e6659b554be2d1c5c 5397192 debug extra libcsmith0-dbg_2.2.0-1_amd64.deb
 100b643d0741eed9f03e9095ab137eea 7286 libs optional libcsmith0_2.2.0-1_amd64.deb

-----BEGIN PGP SIGNATURE-----
Version: GnuPG v1

iQIcBAEBCAAGBQJWTMk4AAoJEDIkf7tArR+mMycP+gL4HJNwNvtNGwGgiIcM8yHl
tQGJUava5maEB8vQDtB89DXojARZ4BLWXH+mQvMqtdJEzYEuxhScxrHyFNoTjlPG
OC1PgQ57j5g0TopTzVKyALMQ1TiEg3rCOYl4zdjLTUsybpIjYghv/1n0IbpxJbmy
lfVpW9MR3RI4jDk4arny1EL33ju7gMJPb1UkZd6CdIIYxSz4xgnzM2VRV92//XbF
ecIHPCxDDoJ5tD5absrfjL1ijxrL3Pi+vYK1a5pMQRX2/uOL8Uh6Z1LZXsbb49/k
hwTNAfsavb76PMFVqUzkm/vf0acQQVjwKAFlUxJn8QbMis3Sswr6b63/qLWS9qrG
nuHmeRD95wunxz46DzCHSTBwao81WkNEgGlr40V8M4WQTN1y82cOPniGsZbM/dzo
KqIjnr3IiG2LkpRWPD9tKOYTE0SZ6HhSftpAqShDkxVvUn9+qqbXFtyq0rX10DWU
6LachO9cpTCuBTesD48NsFL2m0m53eO1u0c8K7Sh5sVwGd3aR2Pu1lAY9Mdzkp9P
o4hXma+vXXDyOsjFM+lsPED+MgDRfJUuTle9e4/vcvaMYQajiHX4Wx4RwncyJj9z
xWIpCFLpakLgKQxYVLLguuMDkrGPNySEj2MhdBImGPSGxS8xYeNN3tVxoQEec8sd
bHUR/6exmWp2QE/ht0Ej
=z+bv
-----END PGP SIGNATURE-----

--- End Message ---
Reply to: