Your message dated Wed, 27 Nov 2002 21:47:38 -0500 with message-id <[EMAIL PROTECTED]> 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 [EMAIL PROTECTED] Wed May 08 18:15:05 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-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 <[EMAIL PROTECTED]>; Thu, 9 May 2002 01:15:03 +0200 Received: from knorke.UUCP ([EMAIL PROTECTED]) 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: [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]>; 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 <[EMAIL PROTECTED]>; Thu, 09 May 2002 01:06:32 +0200 Date: Wed, 8 May 2002 23:06:32 +0000 To: [EMAIL PROTECTED] Subject: RFP: maria - Reachability analyzer for high-level Petri nets 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 g48NF3nK007535 Delivered-To: [EMAIL PROTECTED] Package: wnpp Severity: wishlist Version: N/A Authors: Marko M=E4kel=E4 <[EMAIL PROTECTED]> 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 [EMAIL PROTECTED] Wed Nov 27 20:53:02 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 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 <[EMAIL PROTECTED]> To: [EMAIL PROTECTED] X-Katie: lisa $Revision: 1.20 $ Subject: Bug#146320: fixed in maria 1.3.1-1 Message-Id: <[EMAIL PROTECTED]> Sender: James Troup <[EMAIL PROTECTED]> Date: Wed, 27 Nov 2002 21:47:38 -0500 Delivered-To: [EMAIL PROTECTED] 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 [EMAIL PROTECTED], and the maintainer will reopen the bug report if appropriate. Debian distribution maintenance software pp. Ralf Treinen <[EMAIL PROTECTED]> (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 [EMAIL PROTECTED]) -----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 <[EMAIL PROTECTED]> Changed-By: Ralf Treinen <[EMAIL PROTECTED]> 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-----