Bug#146321: marked as done (ITP: RFP: lbt - Translator from LTL formulae to generalized Buchi automata)
Your message dated Sun, 06 Oct 2002 03:37:06 -0400
with message-id <E17y5yM-0003Qd-00@auric.debian.org>
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 knorke.in-berlin.de!debacle@knorke.in-berlin.de Wed May 08 18:15:06 2002
Return-path: <knorke.in-berlin.de!debacle@knorke.in-berlin.de>
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 <submit@bugs.debian.org>; Thu, 9 May 2002 01:15:04 +0200
Received: from knorke.UUCP (uucp@localhost)
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: knorke.in-berlin.de!debacle@knorke.in-berlin.de
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 <m175aaN-000RAgC@knorke.in-berlin.de> (Debian Smail3.2.0.102)
for <submit@bugs.debian.org>; 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 <submit@bugs.debian.org>; Thu, 09 May 2002 01:11:02 +0200
Date: Wed, 8 May 2002 23:11:02 +0000
To: submit@bugs.debian.org
Subject: RFP: lbt - Translator =?iso-8859-1?Q?from_?=
=?iso-8859-1?Q?LTL_formulae_to_generalized_B=FCchi?= automata
Message-ID: <20020508231102.GB21143@k6.in-berlin.de>
Reply-To: debacle@debian.org
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 <debacle@knorke.in-berlin.de>
Content-Transfer-Encoding: quoted-printable
X-MIME-Autoconverted: from 8bit to quoted-printable by hirsch.in-berlin.de id g48NF3nK007560
Delivered-To: submit@bugs.debian.org
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 <mauno.ronkko@abo.fi> 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 rdonald@auric.debian.org Sun Oct 06 02:38:08 2002
Return-path: <rdonald@auric.debian.org>
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 <treinen@debian.org>
To: 146321-close@bugs.debian.org
X-Katie: $Revision: 1.17 $
Subject: Bug#146321: fixed in lbt 1.2.1-1
Message-Id: <E17y5yM-0003Qd-00@auric.debian.org>
Sender: Randall Donald <rdonald@auric.debian.org>
Date: Sun, 06 Oct 2002 03:37:06 -0400
Delivered-To: 146321-close@bugs.debian.org
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 146321@bugs.debian.org,
and the maintainer will reopen the bug report if appropriate.
Debian distribution maintenance software
pp.
Ralf Treinen <treinen@debian.org> (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 ftpmaster@debian.org)
-----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 <treinen@debian.org>
Changed-By: Ralf Treinen <treinen@debian.org>
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-----
Reply to: