Roman Kreisel has just told me that he made a source package. I expect him to set up an apt archive, but in the meantime it is available at the following address: http://www.april.org/~mota/debian/ Regards, -- Paul