Singular/Sources — pull request #640 by fingolfin (2014-09-08 16:13:56+00:00)
Title: Change "libpolys" to "libsingular" in libsingular-config.in

Looks like a classic copy & paste mistake.