>>Binaries goes to >> /usr/share/lib/Singular > > Sorry, but this is a problem. /usr/share is for machine-independent > stuff; binaries should go to /usr/lib. I suggest changing this to > /usr/lib/Singular. Okay, done. Packages are on the prior mentioned position. Greetings, Oliver