Your message dated Sun, 22 Nov 2009 12:49:00 +0000
with message-id <[email protected]>
and subject line Bug#544575: fixed in maria 1.3.5-2
has caused the Debian Bug report #544575,
regarding maria: segmentation fault on amd64
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 this
message is talking about, this may indicate a serious mail system
misconfiguration somewhere. Please contact [email protected]
immediately.)
--
544575: http://bugs.debian.org/cgi-bin/bugreport.cgi?bug=544575
Debian Bug Tracking System
Contact [email protected] with problems
--- Begin Message ---
Package: maria
Version: 1.3.5-1
Severity: important
Maria crashes with segfault on amd64 when entering a command,
like this:
% maria -b dining.pn
deadlock state @10
"dining.pn": 14 states (2..3 bytes), 1 error, 27 arcs
@0$dump
Segmentation fault
This does not happen on i386.
-Ralf.
-- System Information:
Debian Release: 5.0.2
APT prefers stable
APT policy: (500, 'stable')
Architecture: amd64 (x86_64)
Kernel: Linux 2.6.26-2-amd64 (SMP w/2 CPU cores)
Locale: LANG=en_US.utf8, LC_CTYPE=en_US.utf8 (charmap=UTF-8) (ignored: LC_ALL
set to en_US.utf8)
Shell: /bin/sh linked to /bin/bash
Versions of packages maria depends on:
ii libc6 2.7-18 GNU C Library: Shared libraries
ii libgcc1 1:4.3.2-1.1 GCC support library
ii libncurses5 5.7+20081213-1 shared libraries for terminal hand
ii libreadline5 5.2-3.1 GNU readline and history libraries
ii libstdc++6 4.3.2-1.1 The GNU Standard C++ Library v3
Versions of packages maria recommends:
ii graphviz 2.20.2-3 rich set of graph drawing tools
ii lbt 1.2.2-3 converts from LTL formulas to Büch
ii maria-doc 1.3.5-1 documentation of Maria
maria suggests no packages.
-- no debconf information
--- End Message ---
--- Begin Message ---
Source: maria
Source-Version: 1.3.5-2
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.5-2_all.deb
to main/m/maria/maria-doc_1.3.5-2_all.deb
maria_1.3.5-2.debian.tar.gz
to main/m/maria/maria_1.3.5-2.debian.tar.gz
maria_1.3.5-2.dsc
to main/m/maria/maria_1.3.5-2.dsc
maria_1.3.5-2_amd64.deb
to main/m/maria/maria_1.3.5-2_amd64.deb
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.8
Date: Sun, 22 Nov 2009 13:02:15 +0100
Source: maria
Binary: maria maria-doc
Architecture: source all amd64
Version: 1.3.5-2
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
Closes: 544575 553809
Changes:
maria (1.3.5-2) unstable; urgency=low
.
* debhelper compatibility level 7.
* Standards-Version 3.8.3 (no change)
* Convert to source format 3.0 (quilt):
- debian/patches in quilt style
- no more patching in debian/rules
- no more build-dependency on dpatch
- added debian/source/format
- remove debian/README.source
* debian/control:
- add dependency on ${misc:Depends}
- change dependency on libreadline5-dev to libreadline-dev (closes: #553809)
- remove obsolete build-dependency on xutils
- add Homepage field
* debian/copyright:
- converted to UTF-8
- point to GPL-2 file instead of GPL file
* debian/maria-doc.doc-base:
- section Science/Mathematics
- fieldname "authors" corrected to "author"
- converted to UTF-8
* debian/rules:
- "dh_clean -k" => "dh_prep"
- "make reallyclean" => "make clean" since the former seems to be
the cause of segfaults, explicitly remove maria and doc/maria.info
(closes: Bug#544575).
- do not ignore errors of "make clean"
- fix clean target to remove generate html files in doc
* Changed recommendation of infobrowser to info (package maria-doc)
Checksums-Sha1:
49d1e771681dcc03ea21ccfe279170a8790f5749 1092 maria_1.3.5-2.dsc
234a44d8a069bf845b8bb34756be0b2e3b76b465 6586 maria_1.3.5-2.debian.tar.gz
86fade88a52f432dcc2744900f8c2196f5299f55 153018 maria-doc_1.3.5-2_all.deb
8ce4ab492b1d13058fe103617457fe8ea7168cc2 433944 maria_1.3.5-2_amd64.deb
Checksums-Sha256:
69f1710b6909285b1298dcc4fe910b26518968ba0d6465ada43b93cba1944e5e 1092
maria_1.3.5-2.dsc
c800b5c2876b9c32b8ce5e992f119c226ae4cd9bf905a36498f51fb66c4d8dee 6586
maria_1.3.5-2.debian.tar.gz
988a2a34e2834e54aeca3a344a4a86c5601a3367f952a36f774ca30c9c03d9b2 153018
maria-doc_1.3.5-2_all.deb
d4099769153c1c6148f75fb651b3a9003977337e688b1ed30543d888081f3293 433944
maria_1.3.5-2_amd64.deb
Files:
e6576b5cdc2b576f042abf793968a489 1092 math optional maria_1.3.5-2.dsc
499aed5091d3402ce5e1c7a658af0a3a 6586 math optional maria_1.3.5-2.debian.tar.gz
c2ed5331006f234a691f0c7902711b7b 153018 doc optional maria-doc_1.3.5-2_all.deb
94766c9ac52d6432ed3449cc8b448cee 433944 math optional maria_1.3.5-2_amd64.deb
-----BEGIN PGP SIGNATURE-----
Version: GnuPG v1.4.10 (GNU/Linux)
iD8DBQFLCSsetzWmSeC6BMERAkbnAKDOWD5H7x9xNSEeaDKalkxdWkQqnQCeOYqo
7zQzwmEtWUR/2c2sqq+964c=
=2ISG
-----END PGP SIGNATURE-----
--- End Message ---
