Package: clasp Followup-For: Bug #631270 Dear Stefano,
thanks for your report, I've created a new version of clasp: http://mentors.debian.net/cgi-bin/sponsor-pkglist?action=details;package=clasp If you have time, can you sponsor this upload? (Only got recently my key into the DM keyring, see http://bugs.debian.org/cgi-bin/bugreport.cgi?bug=623090.) Best, TK -- System Information: Debian Release: squeeze/sid APT prefers maverick-updates APT policy: (500, 'maverick-updates'), (500, 'maverick-security'), (500, 'maverick') Architecture: amd64 (x86_64) Kernel: Linux 2.6.35-28-server (SMP w/4 CPU cores) Locale: LANG=en_US.UTF-8, LC_CTYPE=en_US.UTF-8 (charmap=UTF-8) Shell: /bin/sh linked to /bin/dash Versions of packages clasp depends on: ii libc6 2.12.1-0ubuntu10.2 Embedded GNU C Library: Shared lib ii libgcc1 1:4.5.1-7ubuntu2 GCC support library ii libstdc++6 4.5.1-7ubuntu2 The GNU Standard C++ Library v3 ii libtbb2 3.0+r018-1 parallelism library for C++ - runt Versions of packages clasp recommends: ii gringo 3.0.3-5~maverick1 grounding tools for (disjunctive) Versions of packages clasp suggests: ii potassco-guide 2010-10-04-4~maverick1 Potsdam Answer Set Solving Collect -- no debconf information -- To UNSUBSCRIBE, email to debian-bugs-dist-requ...@lists.debian.org with a subject of "unsubscribe". Trouble? Contact listmas...@lists.debian.org