Stéphane Glondu <glondu@debian.org> writes: A comment, though: in the git repository, you unapplied the patches, I noticed that this was not optimal. But when I prepared the package the sigxcpu.org website on git-buildpackage and patches was down. I'll try again with the next version of hol-light. Bye, Hendrik