Package: spark Version: 2011.0.deb-5 Severity: important Dear Maintainer,
Executable /usr/bin/spark dies to SIGKILL when one tries to start it on Debian sid/armhf running on Gumstix Overo device. % spark zsh: killed spark % % file /usr/bin/spark /usr/bin/spark: ELF 32-bit LSB executable, ARM, version 1 (SYSV), dynamically linked (uses shared libs), for GNU/Linux 2.6.26, BuildID[sha1]=0x78a4a2b6adb64112268ce9ad41bdc0b29b7527ff, stripped % % gdb spark GNU gdb (GDB) 7.4.1-debian Copyright (C) 2012 Free Software Foundation, Inc. License GPLv3+: GNU GPL version 3 or later <http://gnu.org/licenses/gpl.html> This is free software: you are free to change and redistribute it. There is NO WARRANTY, to the extent permitted by law. Type "show copying" and "show warranty" for details. This GDB was configured as "arm-linux-gnueabihf". For bug reporting instructions, please see: <http://www.gnu.org/software/gdb/bugs/>... Reading symbols from /usr/bin/spark...(no debugging symbols found)...done. (gdb) run Starting program: /usr/bin/spark During startup program terminated with signal SIGKILL, Killed. (gdb) start Function "main" not defined. Make breakpoint pending on future shared library load? (y or [n]) y Temporary breakpoint 1 (main) pending. Starting program: /usr/bin/spark During startup program terminated with signal SIGKILL, Killed. (gdb) exit Undefined command: "exit". Try "help". (gdb) quit % Executable '/usr/bin/checker' from the same package works: % checker SPARK Proof Checker GPL 2011 Copyright (C) 2011 Altran Praxis Limited, Bath, U.K. Please type filename, without extension, in lowercase, within single quotes if it is not in this directory, followed by a full-stop. FILENAME.vcg and FILENAME.fdl will be read. Filename? abc. No .vcg file of this name exists. List of .vcg files in current region: <THERE ARE NONE>Please try again. Please type filename, without extension, in lowercase, within single quotes if it is not in this directory, followed by a full-stop. FILENAME.vcg and FILENAME.fdl will be read. Filename? . errorStream user_input:10:18 Syntax error: Unexpected end of clause [forced] Action (h for help) ? exit % Machine is Gumstix Overo (OMAP3) with 256MB ram and 200MB swap, 16GB filesystem on microsd card. -- System Information: Debian Release: wheezy/sid APT prefers unstable APT policy: (500, 'unstable') Architecture: armhf (armv7l) Kernel: Linux 3.2.0+ (PREEMPT) Locale: LANG=fi_FI.UTF-8, LC_CTYPE=fi_FI.UTF-8 (charmap=locale: Cannot set LC_CTYPE to default locale: No such file or directory locale: Cannot set LC_MESSAGES to default locale: No such file or directory locale: Cannot set LC_ALL to default locale: No such file or directory ANSI_X3.4-1968) Shell: /bin/sh linked to /bin/dash Versions of packages spark depends on: ii libc6 2.13-32 ii libgcc1 1:4.7.0-8 ii libgmp10 2:5.0.5+dfsg-1.1 ii libgnat-4.6 4.6.3-5 ii libstdc++6 4.7.0-8 ii swi-prolog-nox 5.10.4-3 spark recommends no packages. Versions of packages spark suggests: ii alt-ergo <none> ii gnat 4.6 -- debconf information excluded -- To UNSUBSCRIBE, email to debian-bugs-dist-requ...@lists.debian.org with a subject of "unsubscribe". Trouble? Contact listmas...@lists.debian.org