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 (=unstable) now contains clasp 2.1, so we need to fix aspcd! - debian wheezy (=testing) is frozen since we hope to release soon. That means basically only patches for release-critical bugs are accepted for wheezy, no new upstream version. Wheezy will release (AFAICS) with clasp 2.0, but since aspcud currently depends on clasp >= 2.0 this may cause problems later when a user tries to partially upgrade his system. I see for wheezy two possible solutions: [1] patch aspcud so that it will work with both clasp 2.0 and clasp 2.1, if this is easily possible (with a small patch to the source code of aspcud). [2] if [1] is not feasable then I can just fix the wheezy version of aspcud by strengthening the dependency on clasp to >=2.0 && < 2.1. Do you think that [1] is possible? Cheers -Ralf. -- Ralf Treinen Laboratoire Preuves, Programmes et Systèmes Université Paris Diderot, Paris, France. http://www.pps.univ-paris-diderot.fr/~treinen/ =====> New email address: trei...@pps.univ-paris-diderot.fr <===== -- To UNSUBSCRIBE, email to debian-bugs-rc-requ...@lists.debian.org with a subject of "unsubscribe". Trouble? Contact listmas...@lists.debian.org
