Bug#854987: cadabra: segmentation fault
Package: cadabra
Version: 1.46-2
Severity: important
Dear Maintainer,
* What led up to the situation?
Run cadabra and execute the following three commands:
Cadabra 1.46 (built on debian Wed, 21 Dec 2016 08:44:29 +0100)
Copyright (C) 2001-2011 Kasper Peeters <kasper.peeters@phi-sci.com>
Info at http://cadabra.phi-sci.com/
Available under the terms of the GNU General Public License.
>\nabla_{#}::Derivative:
Assigning property Derivative to $\nabla_{#}$.
>\nabla_{k};
2:= \nabla_{k};
>@canonicalise!(%);
Segmentation fault
* What was the outcome of this action?
A segmentation fault.
* What outcome did you expect instead?
The output "3:= \nabla_{k};" or a proper error message.
-- System Information:
Debian Release: 9.0
APT prefers jessie
APT policy: (500, 'jessie'), (500, 'testing'), (500, 'stable')
Architecture: amd64 (x86_64)
Kernel: Linux 4.9.0-1-amd64 (SMP w/2 CPU cores)
Locale: LANG=de_DE.UTF-8, LC_CTYPE=de_DE.UTF-8 (charmap=UTF-8) (ignored: LC_ALL set to de_DE.utf8)
Shell: /bin/sh linked to /bin/dash
Init: sysvinit (via /sbin/init)
Versions of packages cadabra depends on:
ii dvipng 1.14-2+b2
ii fonts-lyx 2.2.2-1
ii libatk1.0-0 2.22.0-1
ii libatkmm-1.6-1v5 2.24.2-2
ii libc6 2.24-9
ii libcairo2 1.14.8-1
ii libcairomm-1.0-1v5 1.12.0-1+b1
ii libfontconfig1 2.11.0-6.7
ii libfreetype6 2.6.3-3+b1
ii libgcc1 1:6.3.0-6
ii libgdk-pixbuf2.0-0 2.36.4-1
ii libglib2.0-0 2.50.2-2
ii libglibmm-2.4-1v5 2.50.0-1
ii libgmp10 2:6.1.2+dfsg-1
ii libgmpxx4ldbl 2:6.1.2+dfsg-1
ii libgtk2.0-0 2.24.31-2
ii libgtkmm-2.4-1v5 1:2.24.5-1
ii libmodglue1v5 1.17-3
ii libpango-1.0-0 1.40.3-3
ii libpangocairo-1.0-0 1.40.3-3
ii libpangoft2-1.0-0 1.40.3-3
ii libpangomm-1.4-1v5 2.40.1-3
ii libpcrecpp0v5 2:8.39-2
ii libsigc++-2.0-0v5 2.10.0-1
ii libstdc++6 6.3.0-6
ii lie 2.2.2+dfsg-2+b1
ii texlive 2016.20170123-2
ii texlive-fonts-extra 2016.20170123-2
ii texlive-latex-recommended 2016.20170123-2
ii texlive-science [texlive-math-extra] 2016.20170123-2
ii ttf-lyx 2.2.2-1
cadabra recommends no packages.
cadabra suggests no packages.
-- no debconf information
Reply to: