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 -- To UNSUBSCRIBE, email to [email protected] with a subject of "unsubscribe". Trouble? Contact [email protected]
