Bug#266474: marked as done (ITP: cinterlang -- C program analysis and transformation (C Intermediate Language, CIL))
Your message dated Thu, 22 Sep 2005 17:17:47 -0600
with message-id <E1EIaK3email@example.com>
and subject line WNPP bug closing
has caused the attached Bug report 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 I am
talking about this indicates a serious mail system misconfiguration
somewhere. Please contact me immediately.)
Debian bug tracking system administrator
(administrator, Debian Bugs database)
Received: (at submit) by bugs.debian.org; 17 Aug 2004 22:37:56 +0000
>From firstname.lastname@example.org Tue Aug 17 15:37:56 2004
Received: from gsyc064.dat.escet.urjc.es (gsyc.escet.urjc.es) [184.108.40.206] (postfix)
by spohr.debian.org with esmtp (Exim 3.35 1 (Debian))
id 1BxCaa-0004Ag-00; Tue, 17 Aug 2004 15:37:56 -0700
Received: from bicho.casa.net (212.Red-80-24-39.pooles.rima-tde.net [220.127.116.11])
by gsyc.escet.urjc.es (Postfix) with ESMTP
id 47C485C41E2; Wed, 18 Aug 2004 00:38:15 +0200 (CEST)
Content-Type: text/plain; charset="us-ascii"
From: "Jesus M. Gonzalez-Barahona" <email@example.com>
To: Debian Bug Tracking System <firstname.lastname@example.org>
Subject: ITP: cinterlang -- C program analysis and transformation (C Intermediate
X-Mailer: reportbug 2.60
Date: Wed, 18 Aug 2004 00:37:44 +0200
X-Spam-Checker-Version: SpamAssassin 2.60-bugs.debian.org_2004_03_25
(1.212-2003-09-23-exp) on spohr.debian.org
X-Spam-Status: No, hits=-9.5 required=4.0 tests=BAYES_10,HAS_PACKAGE,
X_DEBBUGS_CC autolearn=ham version=2.60-bugs.debian.org_2004_03_25
* Package name : cinterlang
Version : 1.2.5
Upstream Author : George C. Necula <email@example.com>, Scott McPeak <firstname.lastname@example.org>, Wes Weimer <email@example.com>, Ben Liblit <firstname.lastname@example.org>
* URL : http://manju.cs.berkeley.edu/cil/
* License : BSD-like
Description : C program analysis and transformation (C Intermediate Language, CIL)
CIL (C Intermediate Language) is a high-level representation along
with a set of tools that permit easy analysis and source-to-source
transformation of C programs. It is written in OCaml.
CIL is both lower-level than abstract-syntax trees, by clarifying
ambiguous constructs and removing redundant ones, and also
higher-level than typical intermediate languages designed for
compilation, by maintaining types and a close relationship with the
source program. The main advantage of CIL is that it compiles all
valid C programs into a few core constructs with a very clean
semantics. Also CIL has a syntax-directed type system that makes it
easy to analyze and manipulate C programs. Furthermore, the CIL
front-end is able to process not only ANSI-C programs but also those
using Microsoft C or GNU C extensions.
-- System Information:
Debian Release: testing/unstable
APT prefers testing
APT policy: (500, 'testing')
Architecture: i386 (i686)
Kernel: Linux 2.6.3-1-686
Locale: LANG=C, LC_CTYPE=C
Received: (at 266474-done) by bugs.debian.org; 22 Sep 2005 23:17:48 +0000
>From email@example.com Thu Sep 22 16:17:48 2005
Received: from merkel.debian.org [18.104.22.168] (mail)
by spohr.debian.org with esmtp (Exim 3.36 1 (Debian))
id 1EIaK4-00011C-00; Thu, 22 Sep 2005 16:17:48 -0700
Received: from damog by merkel.debian.org with local (Exim 3.36 1 (Debian))
id 1EIaK3-0006mq-00; Thu, 22 Sep 2005 17:17:47 -0600
Subject: WNPP bug closing
From: David Moreno Garza <firstname.lastname@example.org>
Date: Thu, 22 Sep 2005 17:17:47 -0600
X-Spam-Checker-Version: SpamAssassin 2.60-bugs.debian.org_2005_01_02
(1.212-2003-09-23-exp) on spohr.debian.org
X-Spam-Status: No, hits=-5.0 required=4.0 tests=BAYES_00,VALID_BTS_CONTROL
This is an automatic mail sent to close the ITP you have reported or
are involved with.
Your ITP wnpp bug is being closed because of the following reasons:
- It is, as of today, older than 365 days.
- It hasn't had any activity recently.
As this an automatic procedure, it could of course have something
wrong and probably it would be closing some bugs that are not
intended by owners and submitters (like you) to be closed, for
example if the ITP is still of your interest, or there has been
some kind of activity around it. In that case, please reopen the
bug, do it, DO IT NOW! (I don't want to be blamed because of
mass closing and not let people know that they can easily reopen
their bugs ;-).
To re-open it, you simply have to mail email@example.com
with a body text like this:
Further comments on the work done in the bug sent to
firstname.lastname@example.org would be truly welcomed.
Anyway, if you have any kind of problems when dealing with
the BTS, feel free to contact me and I'd be more than happy to help
you on this: <email@example.com>.
This is the second massive wnpp closing that is being done. The next close
will be done on inactive ITPs older than 365 days and finally, an automatic
script will close, by default, *inactive* ITPs when they reach one year of
A similar process is being applied to other kind of wnpp bugs.
Thanks for your cooperation,
-- David Moreno Garza <firstname.lastname@example.org> Thu, 22 Sep 2005 17:06:42 -0500