Singular/Sources — pull request #448 by jankoboehm (2013-12-13 15:22:12+00:00)
Title: Added missing libraries to singular-libs

Missing experimental libraries to be distributed.