/normaliz.lib
/Singular-3-1-5.tar.gz
/Singular-3-1-6.tar.gz
/Singular-3-1-7.tar.gz
/singular-4.1.0p2.tar.gz