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.peet...@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
