Bug#686356: aspcud and clasp 2.1

2012-09-02 Thread Ralf Treinen
On Sat, Sep 01, 2012 at 01:17:12PM +0200, Roland Kaminski wrote: In fact this is trivial. It is just an option that has slightly changed and is no longer recognized by clasp-2.1. Thanks a lot for the patch! Benjamin takes the version numbering seriously: if the minor or major version

Bug#686356: aspcud and clasp 2.1

2012-09-01 Thread Ralf Treinen
Dear Roland, (this is about the aspcud version in debian, not the MISC competition!) aspcud (the version as of 2011/03/17) does not work with clasp 2.1, see http://bugs.debian.org/cgi-bin/bugreport.cgi?bug=686356 Do you know how to fix this? The situation in debian is as follows: - debian

Bug#686356: aspcud and clasp 2.1

2012-09-01 Thread Roland Kaminski
On Saturday, September 01, 2012 10:19:16 AM Ralf Treinen wrote: Dear Roland, (this is about the aspcud version in debian, not the MISC competition!) aspcud (the version as of 2011/03/17) does not work with clasp 2.1, see http://bugs.debian.org/cgi-bin/bugreport.cgi?bug=686356 Do you