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

Bug#512658: marked as done (ITP: coccinelle -- semantic patching tool for C)



Your message dated Sat, 28 Mar 2009 16:49:54 +0000
with message-id <E1LnbjG-0005QZ-Fg@ries.debian.org>
and subject line Bug#512658: fixed in coccinelle 0.1.5dbs-1
has caused the Debian Bug report #512658,
regarding ITP: coccinelle -- semantic patching tool for C
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.)


-- 
512658: http://bugs.debian.org/cgi-bin/bugreport.cgi?bug=512658
Debian Bug Tracking System
Contact owner@bugs.debian.org with problems
--- Begin Message ---
Package: wnpp
Severity: wishlist
Owner: "Євгеній Мещеряков" <eugen@debian.org>

* Package name    : coccinelle
  Version         : >= 0.1.4
  Upstream Authors: Julia Lawall <julia@diku.dk>
                    Yoann Padioleau <yoann.padioleau@gmail.com>
                    Rene Rydhof Hansen <rrhansen@diku.dk>
                    Henrik Stuart <henrik@hstuart.dk>
* URL             : http://www.emn.fr/x-info/coccinelle/
* License         : GPLv2
  Programming Lang: OCaml, Python
  Description     : semantic patching tool for C

Cocinelle is a program matching and transformation tool for C.
The programmer describes the code to match and the transformation to
perform as a semantic patch, which looks like a standard patch, but can
transform multiple files at any number of code sites.

The description is from spatch manpage. Better description is welcome.

-- System Information:
Debian Release: 5.0
  APT prefers unstable
  APT policy: (500, 'unstable'), (1, 'experimental')
Architecture: amd64 (x86_64)



--- End Message ---
--- Begin Message ---
Source: coccinelle
Source-Version: 0.1.5dbs-1

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

coccinelle_0.1.5dbs-1.diff.gz
  to pool/main/c/coccinelle/coccinelle_0.1.5dbs-1.diff.gz
coccinelle_0.1.5dbs-1.dsc
  to pool/main/c/coccinelle/coccinelle_0.1.5dbs-1.dsc
coccinelle_0.1.5dbs-1_all.deb
  to pool/main/c/coccinelle/coccinelle_0.1.5dbs-1_all.deb
coccinelle_0.1.5dbs.orig.tar.gz
  to pool/main/c/coccinelle/coccinelle_0.1.5dbs.orig.tar.gz



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

Debian distribution maintenance software
pp.
Євгеній Мещеряков <eugen@debian.org> (supplier of updated coccinelle 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@debian.org)


-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA1

Format: 1.8
Date: Thu, 05 Mar 2009 20:57:48 +0100
Source: coccinelle
Binary: coccinelle
Architecture: source all
Version: 0.1.5dbs-1
Distribution: unstable
Urgency: low
Maintainer: Євгеній Мещеряков <eugen@debian.org>
Changed-By: Євгеній Мещеряков <eugen@debian.org>
Description: 
 coccinelle - semantic patching tool for C
Closes: 512658
Changes: 
 coccinelle (0.1.5dbs-1) unstable; urgency=low
 .
   * Initial release (Closes: #512658)
Checksums-Sha1: 
 c4561cc54a4d78607b471774f8733b03259917dc 1299 coccinelle_0.1.5dbs-1.dsc
 aa454829e2526c7aebd6deb4602940a63f6e0c0d 1370248 coccinelle_0.1.5dbs.orig.tar.gz
 830c6e98a3f757a708e424c893451b865befac0e 5819 coccinelle_0.1.5dbs-1.diff.gz
 5a3fcb88f6c86a6b849fdc87a976f6208e76de75 629448 coccinelle_0.1.5dbs-1_all.deb
Checksums-Sha256: 
 961d7f173affe3898b3a99b5b05f615f29d28a12e663ea12def5a7fcfab65d92 1299 coccinelle_0.1.5dbs-1.dsc
 89a9a591d5b0ee47640ec37b33e3920123efcf23df17c94e36e7d71774c27182 1370248 coccinelle_0.1.5dbs.orig.tar.gz
 b607464503817faf3d44c3df71809a2e705056465a5493454b416a0f175160e1 5819 coccinelle_0.1.5dbs-1.diff.gz
 919c9ea2bcaba7f0d20dbff5355eef80fa24967f28783b3ab4125e07d338453a 629448 coccinelle_0.1.5dbs-1_all.deb
Files: 
 59bb350dd2cece36a785e11220fcc504 1299 devel optional coccinelle_0.1.5dbs-1.dsc
 a89c35709eb8fec924a74ff97aeb3da1 1370248 devel optional coccinelle_0.1.5dbs.orig.tar.gz
 acf4165b1c0d593bcded3fe657574ba4 5819 devel optional coccinelle_0.1.5dbs-1.diff.gz
 b425ca66e7488f7de987e7f0158c25fa 629448 devel optional coccinelle_0.1.5dbs-1_all.deb

-----BEGIN PGP SIGNATURE-----
Version: GnuPG v1.4.9 (GNU/Linux)

iEYEARECAAYFAkmwMMwACgkQKaC6+zmozOLMrACfS17uy70BHtdgHFBODN8kwqbu
yIgAnjok0boll7sQuEos910IFUN5xryV
=PYvD
-----END PGP SIGNATURE-----



--- End Message ---

Reply to: