Just packaged the new upstream version: dget http://mentors.debian.net/debian/pool/main/p/prolog-el/prolog-el_1.15-1.dsc Regards -- Philipp Benner