../ singular-debuginfo/ 01-Mar-2018 15:33 - singular-devel/ 01-Mar-2018 15:33 - singular-help/ 01-Mar-2018 15:33 - md5.sum 07-Apr-2017 11:14 221 sha512.sum 07-Apr-2017 11:14 602 singular-4.0.2-1-src.tar.xz 17-May-2015 07:10 17472352 singular-4.0.2-1.hint 08-Feb-2017 06:37 361 singular-4.0.2-1.tar.xz 17-May-2015 07:11 8130508