Name Last modified Size DescriptionApache/2.4.41 (Ubuntu) Server at ftp.rrze.uni-erlangen.de Port 443
Parent Directory - singular-help-4.0.2-1.tar.xz 2015-05-17 09:13 1.6M sha512.sum 2020-03-11 16:14 316 singular-help-4.0.2-1.hint 2016-03-24 13:46 172