Bug#137139: marked as done (ITP: splint -- LClint, the next generation)
Your message dated Tue, 11 Jun 2002 12:30:59 +0100
with message-id <20020611113059.GA30193@riva.ucam.org>
and subject line Packages now in unstable
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; 6 Mar 2002 21:47:55 +0000
>From lintux@lintux.cx Wed Mar 06 15:47:55 2002
Return-path: <lintux@lintux.cx>
Received: from ahuumrelay1.ams.ops.eu.uu.net [195.129.70.139]
by master.debian.org with esmtp (Exim 3.12 1 (Debian))
id 16ijGM-0007t2-00; Wed, 06 Mar 2002 15:47:55 -0600
Received: from roy.gaast.net (1Cust165.tnt7.rtm1.nl.uu.net [213.116.108.165])
by ahuumrelay1.ams.ops.eu.uu.net (8.11.0/8.11.0) with ESMTP id g26Lkw105070;
Wed, 6 Mar 2002 21:47:14 GMT
Received: from ruby.gaast.net (ruby.gaast.net [192.168.0.2])
by roy.gaast.net (Postfix) with SMTP
id 84DFE7E3B; Wed, 6 Mar 2002 22:46:55 +0100 (CET)
Received: (nullmailer pid 18019 invoked by uid 500);
Wed, 06 Mar 2002 21:46:54 -0000
Date: Wed, 6 Mar 2002 22:46:54 +0100
From: Wilmer van der Gaast <lintux@debian.org>
To: submit@bugs.debian.org
Subject: ITP: splint -- LClint, the next generation
Message-ID: <20020306214654.GA17879@gaast.net>
Mime-Version: 1.0
Content-Type: text/plain; charset=us-ascii
Content-Disposition: inline
User-Agent: Mutt/1.3.27i
X-Debbugs-Cc: debian-devel@lists.debian.org, lclint@packages.debian.org, 136162@bugs.debian.org
Delivered-To: submit@bugs.debian.org
Package: wnpp
Severity: wishlist
* Package name : splint
Version : 3.0.1.6
Upstream Author : David Evans <http://www.cs.virginia.edu/evans/> and others
* URL : http://www.splint.org/
* License : GPL <http://www.splint.org/faq.html#distribution>
Description : Secure Programming Lint
The program used to be called lclint, now it's called splint. I'm trying
to get this one packaged for Debian. If the lclint maintainer Christian
Meder <meder@isr.uni-stuttgart.de> doesn't mind, that is..
--
*=-+-______________________
|lintux-@t-lintux-d0t-cx: _________________________________
| http://www.lintux.cx/ | / Currently playing \
:http://www.algoritme.nl| / Eels:BusStopBoxer \
~~~~~~~~~~~~~~~~~~~~~~-+-=-+~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~+-=*
---------------------------------------
Received: (at 137139-done) by bugs.debian.org; 11 Jun 2002 11:31:04 +0000
>From cjwatson@flatline.org.uk Tue Jun 11 06:31:04 2002
Return-path: <cjwatson@flatline.org.uk>
Received: from carbon.btinternet.com (carbon) [194.73.73.92]
by master.debian.org with esmtp (Exim 3.12 1 (Debian))
id 17HjrZ-0006ks-00; Tue, 11 Jun 2002 06:31:01 -0500
Received: from host217-36-23-217.in-addr.btopenworld.com ([217.36.23.217] helo=riva.lab.dotat.at)
by carbon with esmtp (Exim 3.22 #8)
id 17HjrX-0002XI-00; Tue, 11 Jun 2002 12:31:00 +0100
Received: from cjwatson by riva.lab.dotat.at with local (Exim 3.35 #1 (Debian))
id 17HjrX-0007tQ-00; Tue, 11 Jun 2002 12:30:59 +0100
Date: Tue, 11 Jun 2002 12:30:59 +0100
From: Colin Watson <cjwatson@debian.org>
To: 125731-done@bugs.debian.org, 137139-done@bugs.debian.org,
142901-done@bugs.debian.org, 143043-done@bugs.debian.org,
144795-done@bugs.debian.org, 145724-done@bugs.debian.org,
146143-done@bugs.debian.org, 146182-done@bugs.debian.org,
146368-done@bugs.debian.org, 146385-done@bugs.debian.org,
146476-done@bugs.debian.org, 146743-done@bugs.debian.org
Cc: Samuele Giovanni Tonon <samu@debian.org>
Subject: Packages now in unstable
Message-ID: <20020611113059.GA30193@riva.ucam.org>
Mime-Version: 1.0
Content-Type: text/plain; charset=us-ascii
Content-Disposition: inline
User-Agent: Mutt/1.3.28i
Sender: Colin Watson <cjwatson@riva.ucam.org>
Delivered-To: 137139-done@bugs.debian.org
Hi,
I'm closing these bugs because the packages in question have been added
to unstable, but their corresponding wnpp bugs didn't get closed for one
reason or another:
#125731 (slidentd)
#137139 (splint)
#142901 (med-tools)
#143043 (kronolith)
#144795 (simpleproxy)
#145724 (ctsim)
#146143 (fluxconf)
#146182 (classpath)
#146368 (cfgstoragemaker)
#146385 (shapelib)
#146476 (xgsmlib)
#146743 (qmail-qfilter)
This is just intended to clean up some wnpp bugs; please reopen if I've
made a mistake.
Cheers,
--
Colin Watson [cjwatson@flatline.org.uk]
--
To UNSUBSCRIBE, email to debian-wnpp-request@lists.debian.org
with a subject of "unsubscribe". Trouble? Contact listmaster@lists.debian.org
Reply to: