Bug#180473: marked as done (RFP: zeta -- tools to process specifications written in Z)
Your message dated Wed, 14 Sep 2005 21:55:11 -0500 (CDT)
with message-id <20050915025511.3C2E910787C@cerdita.damog.net>
and subject line WNPP bug closed
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; 10 Feb 2003 17:05:03 +0000
>From ajk@gaia.iki.fi Mon Feb 10 11:05:02 2003
Return-path: <ajk@gaia.iki.fi>
Received: from kukkaruukku.keltti.jyu.fi (gaia.iki.fi) [130.234.192.228]
by master.debian.org with esmtp (Exim 3.12 1 (Debian))
id 18iHMc-0000gF-00; Mon, 10 Feb 2003 11:05:02 -0600
Received: from localhost (localhost [127.0.0.1])
(uid 1000)
by gaia.iki.fi with local; Mon, 10 Feb 2003 19:05:00 +0200
Content-Type: text/plain; charset="us-ascii"
MIME-Version: 1.0
Content-Transfer-Encoding: 7bit
From: Antti-Juhani Kaijanaho <ajk@debian.org>
To: Debian Bug Tracking System <submit@bugs.debian.org>
Subject: RFP: zeta -- tools to process specifications written in Z
X-Mailer: reportbug 2.10
Date: Mon, 10 Feb 2003 19:05:00 +0200
Message-ID: <courier.3E47DBBC.00007778@gaia.iki.fi>
Delivered-To: submit@bugs.debian.org
X-Spam-Status: No, hits=0.8 required=5.0
tests=SPAM_PHRASE_00_01
version=2.44
X-Spam-Level:
Package: wnpp
Severity: wishlist
* Package name : zeta
Upstream Author : Wolfgang Grieskam <wg@cs.tu-berlin.de>
* URL : http://uebb.cs.tu-berlin.de/zeta/
* License : GPL
Description : set of tools for developing Z specifications
ZETA is an open environment for the development of specification
documents based on Z. It provides an integration framework for tools to
edit, analyse and animate Z specifications and formalisms which are
mapped to Z. It
- contains the Z parser and type checker ESZ version 3 which (nearly)
implements the Final Committee Draft of the Z Standard
- integrates the TeX engine and provides a powerful Z-LaTeX style
- contains the ZAP version 2 tool for executing Z specifications, which
is based on techniques of concurrent constraint resolution, and
implements functional and logic computation features
- provides a Java-based abstract representation of Z for
data-integration of tools, and is easily extendable by Java-written
plug-ins
- contains a comfortable Emacs-based GUI
- contains a Java-based GUI
---------------------------------------
Received: (at 180473-done) by bugs.debian.org; 15 Sep 2005 02:55:38 +0000
>From damog@cerdita.damog.net Wed Sep 14 19:55:38 2005
Return-path: <damog@cerdita.damog.net>
Received: from dsl-201-129-37-187.prod-infinitum.com.mx (cerdita.damog.net) [201.129.37.187]
by spohr.debian.org with esmtp (Exim 3.36 1 (Debian))
id 1EFjuT-0000sT-00; Wed, 14 Sep 2005 19:55:38 -0700
Received: by cerdita.damog.net (Postfix, from userid 1000)
id 3C2E910787C; Wed, 14 Sep 2005 21:55:11 -0500 (CDT)
To: 180473-done@bugs.debian.org
Subject: WNPP bug closed
Message-Id: <20050915025511.3C2E910787C@cerdita.damog.net>
Date: Wed, 14 Sep 2005 21:55:11 -0500 (CDT)
From: damog@cerdita.damog.net (David Moreno Garza)
Delivered-To: 180473-done@bugs.debian.org
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-Level:
X-Spam-Status: No, hits=-5.0 required=4.0 tests=BAYES_00,VALID_BTS_CONTROL
autolearn=no version=2.60-bugs.debian.org_2005_01_02
X-CrossAssassin-Score: 239
Hello,
This is an automatic mail sent to close the RFP you have reported or
are involved with.
Your RFP wnpp bug is being closed because of the following reasons:
- It is, as of today, older than 600 days.
- It haven't had any activity recently.
- The amount of ITPs on the Debian BTS is huge and we need to
clean up a bit the place.
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 RFP 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 control@bugs.debian.org
with a body text like this:
reopen 123456
thanks bts
Replacing '123456' for the number of your RFP bug. The subject of the
mail is ignored. Or 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: <damog@debian.org>.
This is the first mass wnpp closing that will be done. The next close
will be done on inactive RFPs older than 450 days and finally, the
ones older than 365 days (an automatic script will close *inactive*
RFPs when they reach one year old).
A similar process is being applied to the ITP wnpp bugs in these
days.
Thanks for your cooperation,
-- David Moreno Garza <damog@debian.org> Wed, 14 Sep 2005 21:54:42 -0500
Reply to: