Bug#146320: marked as done (ITP: maria - Reachability analyzer for high-level Petri nets)
Your message dated Wed, 27 Nov 2002 21:47:38 -0500
with message-id <E18HEiI-0003Jc-00@auric.debian.org>
and subject line Bug#146320: fixed in maria 1.3.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:05 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-0007Gl-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 g48NF3nK007535
(version=TLSv1/SSLv3 cipher=EDH-RSA-DES-CBC3-SHA bits=168 verify=NOT)
for <submit@bugs.debian.org>; Thu, 9 May 2002 01:15:03 +0200
Received: from knorke.UUCP (uucp@localhost)
by hirsch.in-berlin.de (8.12.1/8.12.1/Debian -2) with UUCP id g48NF2g7007500
for bugs.debian.org!submit; Thu, 9 May 2002 01:15:02 +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 <m175aW1-000RAgC@knorke.in-berlin.de> (Debian Smail3.2.0.102)
for <submit@bugs.debian.org>; Thu, 9 May 2002 01:06:33 +0200 (CEST)
Received: from debacle by k6.in-berlin.de with local (Exim 3.35 #1 (Debian))
id 175aW0-0005ma-00
for <submit@bugs.debian.org>; Thu, 09 May 2002 01:06:32 +0200
Date: Wed, 8 May 2002 23:06:32 +0000
To: submit@bugs.debian.org
Subject: RFP: maria - Reachability analyzer for high-level Petri nets
Message-ID: <20020508230632.GA21143@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 g48NF3nK007535
Delivered-To: submit@bugs.debian.org
Package: wnpp
Severity: wishlist
Version: N/A
Authors: Marko M=E4kel=E4 <msmakela@cc.hut.fi> and others
URL: http://www.tcs.hut.fi/Software/maria/
License: GPLv2
Maria is a powerful tool designed to aid engineers in modelling and
solving concurrency related problems in parallel and distributed
computing systems.
Maria finds deadlocks and violations against safety or liveness
requirements by exploring all states that can be reached from the
initial state of a system. The tool manages tens or hundreds of
millions of reachable states and enabled actions.
The expressive power of Maria's formalism is close to high-level
programming languages, thanks to its rich data type system and
powerful algebraic operations.
---------------------------------------
Received: (at 146320-close) by bugs.debian.org; 28 Nov 2002 02:53:03 +0000
>From troup@auric.debian.org Wed Nov 27 20:53:02 2002
Return-path: <troup@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 18HEnW-0006Un-00; Wed, 27 Nov 2002 20:53:02 -0600
Received: from troup by auric.debian.org with local (Exim 3.35 1 (Debian))
id 18HEiI-0003Jc-00; Wed, 27 Nov 2002 21:47:38 -0500
From: Ralf Treinen <treinen@debian.org>
To: 146320-close@bugs.debian.org
X-Katie: lisa $Revision: 1.20 $
Subject: Bug#146320: fixed in maria 1.3.1-1
Message-Id: <E18HEiI-0003Jc-00@auric.debian.org>
Sender: James Troup <troup@auric.debian.org>
Date: Wed, 27 Nov 2002 21:47:38 -0500
Delivered-To: 146320-close@bugs.debian.org
We believe that the bug you reported is fixed in the latest version of
maria, which is due to be installed in the Debian FTP archive:
maria-doc_1.3.1-1_all.deb
to pool/main/m/maria/maria-doc_1.3.1-1_all.deb
maria-vis_1.3.1-1_all.deb
to pool/contrib/m/maria/maria-vis_1.3.1-1_all.deb
maria_1.3.1-1.diff.gz
to pool/main/m/maria/maria_1.3.1-1.diff.gz
maria_1.3.1-1.dsc
to pool/main/m/maria/maria_1.3.1-1.dsc
maria_1.3.1-1_i386.deb
to pool/main/m/maria/maria_1.3.1-1_i386.deb
maria_1.3.1.orig.tar.gz
to pool/main/m/maria/maria_1.3.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 146320@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 maria 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: Thu, 21 Nov 2002 20:57:19 +0100
Source: maria
Binary: maria-doc maria-vis maria
Architecture: source i386 all
Version: 1.3.1-1
Distribution: unstable
Urgency: low
Maintainer: Ralf Treinen <treinen@debian.org>
Changed-By: Ralf Treinen <treinen@debian.org>
Description:
maria - Reachability analyzer for Algebraic System Nets
maria-doc - Documentation of Maria
maria-vis - Interface between Maria and Graphviz
Closes: 146320
Changes:
maria (1.3.1-1) unstable; urgency=low
.
* New upstream release, and first version actually uploaded to unstable
(closes: Bug#146320).
* Standards-Version: 3.5.8.
* debian/copyright: corrected email address of upstream author.
* debian/copyright: the maria-vis script is now in the public domain.
* debian/rules: change value of EXDIR, since Makefile uses it relativ
to the value of DESTDIR.
* debian/rules: pass debug and noopt option to make.
* Makefile.Linux: /usr/local/{lib,include} -> /usr/{lib,include}
* Makefile.Linux: add a COPTFLAGS variable, to pass optimization flags
to the makefile.
Files:
fdb6581e45c6afe9a2750291b04bd219 664 math optional maria_1.3.1-1.dsc
c4de8f7afd6ee392cfa2f99f088d7dfe 555543 math optional maria_1.3.1.orig.tar.gz
68aeed2a92433e9f1d87b4cf66dcb759 22142 math optional maria_1.3.1-1.diff.gz
9e86987d210d5ff06dc69f120fc1c40a 5000 contrib/math optional maria-vis_1.3.1-1_all.deb
2e9f1fcc788d57e2cfc0196f6ffa32cc 146172 doc optional maria-doc_1.3.1-1_all.deb
026de49b8f1d63ed8a1e68dd9c2d285a 409932 math optional maria_1.3.1-1_i386.deb
-----BEGIN PGP SIGNATURE-----
Version: GnuPG v1.2.1 (GNU/Linux)
iD8DBQE93T2DtzWmSeC6BMERAiKCAJ9qt7mU+n74QZWACP/ByqsZN0DLtgCggzU1
0h3AvF8w/M71/qjVV3eCFnY=
=MuAy
-----END PGP SIGNATURE-----
Reply to: