Binaries goes to /usr/share/lib/SingularSorry, 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
