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 changes, then there might be changes > that break backwards compatibility. This is a very good practice! > Btw. our latest competition submission should (hopefully) be much better than > the old aspcud and I guess we can drop clasp 2.0 support then. yes, newer versions of aspcud would go into sid, and there we will have clasp 2.1, so the support for clasp 2.0 will be no longer needed then. Thanks -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
