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 versi

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 > >

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 sid