Dear all, thanks a lot to whichever maintainer uploaded cl-launch 1.80 to debian. It's now in testing. Can you now upload cl-launch 1.81? I have fixed a bug whereby you cl-launch wouldn't save SBCL options, documented the fact that GCL doesn't work anymore, and added preliminary support for ECL. http://fare.tunes.org/files/cl-launch/ [ François-René ÐVB Rideau | Reflection&Cybernethics | http://fare.tunes.org ]