Your message dated Sun, 06 Oct 2002 03:37:06 -0400
with message-id <[EMAIL PROTECTED]>
and subject line Bug#146321: fixed in lbt 1.2.1-1
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; 8 May 2002 23:15:06 +0000
>From [EMAIL PROTECTED] Wed May 08 18:15:06 2002
Return-path: <[EMAIL PROTECTED]>
Received: from hirsch.in-berlin.de [192.109.42.6]
by master.debian.org with esmtp (Exim 3.12 1 (Debian))
id 175aeH-0007Gm-00; Wed, 08 May 2002 18:15:05 -0500
Received: from hirsch.in-berlin.de (localhost [127.0.0.1])
by hirsch.in-berlin.de (8.12.1/8.12.1/Debian -2) with ESMTP id
g48NF3nK007560
(version=TLSv1/SSLv3 cipher=EDH-RSA-DES-CBC3-SHA bits=168 verify=NOT)
for <[EMAIL PROTECTED]>; Thu, 9 May 2002 01:15:04 +0200
Received: from knorke.UUCP ([EMAIL PROTECTED])
by hirsch.in-berlin.de (8.12.1/8.12.1/Debian -2) with UUCP id
g48NF3YJ007558
for bugs.debian.org!submit; Thu, 9 May 2002 01:15:03 +0200
X-Envelope-From: [EMAIL PROTECTED]
X-Envelope-To: bugs.debian.org!submit
Received: from k6.in-berlin.de (really [192.168.0.77]) by knorke.in-berlin.de
via in.smtpd with esmtp
id <[EMAIL PROTECTED]> (Debian Smail3.2.0.102)
for <[EMAIL PROTECTED]>; Wed, 8 May 2002 23:11:03 +0000 (GMT)
Received: from debacle by k6.in-berlin.de with local (Exim 3.35 #1 (Debian))
id 175aaM-0005t3-00
for <[EMAIL PROTECTED]>; Thu, 09 May 2002 01:11:02 +0200
Date: Wed, 8 May 2002 23:11:02 +0000
To: [EMAIL PROTECTED]
Subject: RFP: lbt - Translator =?iso-8859-1?Q?from_?=
=?iso-8859-1?Q?LTL_formulae_to_generalized_B=FCchi?= automata
Message-ID: <[EMAIL PROTECTED]>
Reply-To: [EMAIL PROTECTED]
Mime-Version: 1.0
Content-Type: text/plain; charset=iso-8859-1
Content-Disposition: inline
User-Agent: Mutt/1.3.28i
X-No-Archive: yes
From: debacle <[EMAIL PROTECTED]>
Content-Transfer-Encoding: quoted-printable
X-MIME-Autoconverted: from 8bit to quoted-printable by hirsch.in-berlin.de id
g48NF3nK007560
Delivered-To: [EMAIL PROTECTED]
Package: wnpp
Severity: wishlist
Version: N/A
URL: ftp://ftp.tcs.hut.fi/pub/Software/maria/src/lbt*tar.gz
Authors: Mauno R=F6nkk=F6 <[EMAIL PROTECTED]> and others
License: GPLv2
LBT stands for LTL to B=FCchi Translator. It translates a Linear Tempora=
l
Logic formula to a corresponding generalized B=FCchi automaton that can
be used by a model checking tool for verifying liveness properties of
a concurrent system.
---------------------------------------
Received: (at 146321-close) by bugs.debian.org; 6 Oct 2002 07:38:08 +0000
>From [EMAIL PROTECTED] Sun Oct 06 02:38:08 2002
Return-path: <[EMAIL PROTECTED]>
Received: from auric.debian.org [206.246.226.45] (mail)
by master.debian.org with esmtp (Exim 3.12 1 (Debian))
id 17y5zL-00019d-00; Sun, 06 Oct 2002 02:38:07 -0500
Received: from rdonald by auric.debian.org with local (Exim 3.35 1 (Debian))
id 17y5yM-0003Qd-00; Sun, 06 Oct 2002 03:37:06 -0400
From: Ralf Treinen <[EMAIL PROTECTED]>
To: [EMAIL PROTECTED]
X-Katie: $Revision: 1.17 $
Subject: Bug#146321: fixed in lbt 1.2.1-1
Message-Id: <[EMAIL PROTECTED]>
Sender: Randall Donald <[EMAIL PROTECTED]>
Date: Sun, 06 Oct 2002 03:37:06 -0400
Delivered-To: [EMAIL PROTECTED]
We believe that the bug you reported is fixed in the latest version of
lbt, which is due to be installed in the Debian FTP archive:
lbt_1.2.1-1.diff.gz
to pool/main/l/lbt/lbt_1.2.1-1.diff.gz
lbt_1.2.1-1.dsc
to pool/main/l/lbt/lbt_1.2.1-1.dsc
lbt_1.2.1-1_i386.deb
to pool/main/l/lbt/lbt_1.2.1-1_i386.deb
lbt_1.2.1.orig.tar.gz
to pool/main/l/lbt/lbt_1.2.1.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 [EMAIL PROTECTED],
and the maintainer will reopen the bug report if appropriate.
Debian distribution maintenance software
pp.
Ralf Treinen <[EMAIL PROTECTED]> (supplier of updated lbt 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 [EMAIL PROTECTED])
-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA1
Format: 1.7
Date: Fri, 4 Oct 2002 21:17:49 +0200
Source: lbt
Binary: lbt
Architecture: source i386
Version: 1.2.1-1
Distribution: unstable
Urgency: low
Maintainer: Ralf Treinen <[EMAIL PROTECTED]>
Changed-By: Ralf Treinen <[EMAIL PROTECTED]>
Description:
lbt - Converter of LTL formulas to Buechi automata
Closes: 146321
Changes:
lbt (1.2.1-1) unstable; urgency=low
.
* First upload to unstable (closes: Bug#146321).
* Added Marko Mäkelä and Heikki Tauriainen to the list of upstream authors.
* lbt.doc-base: changed author of doc to Marko Mäkelä.
Files:
32bda544564208474be9dc0f6e5ef014 544 math optional lbt_1.2.1-1.dsc
23010e753635193a532e9ac41ed7e8e3 20012 math optional lbt_1.2.1.orig.tar.gz
23d1e96eb174c9152a2f3a0066e7866c 1563 math optional lbt_1.2.1-1.diff.gz
01842c01290b28a2836d3ab52ef119f1 29240 math optional lbt_1.2.1-1_i386.deb
-----BEGIN PGP SIGNATURE-----
Version: GnuPG v1.2.0 (GNU/Linux)
iD8DBQE9neoetzWmSeC6BMERAgY/AJoCqbL2D8cRK6VhTlNDQCFy5+D+owCeKE0G
8IP63RI3+GgGqhiXYxcnPVs=
=nlHj
-----END PGP SIGNATURE-----
