Name Last modified Size DescriptionApache/2.4.41 (Ubuntu) Server at ftp.fau.de Port 443
Parent Directory - singular-4.0.2-1-src.tar.xz 2015-05-17 09:10 17M singular-4.0.2-1.tar.xz 2015-05-17 09:11 7.8M sha512.sum 2022-01-11 16:14 620 singular-4.0.2-1.hint 2017-02-08 07:37 361 singular-4.0.2-1-src.hint 2021-06-21 22:05 310 singular-help/ 2020-03-11 15:51 - singular-devel/ 2020-03-11 15:51 - singular-debuginfo/ 2020-03-11 15:51 -