../ singular-debuginfo/ 12-Mar-2020 04:58 - singular-devel/ 12-Mar-2020 04:58 - singular-help/ 12-Mar-2020 04:58 - sha512.sum 11-Jan-2022 14:14 620 singular-4.0.2-1-src.hint 21-Jun-2021 20:05 310 singular-4.0.2-1-src.tar.xz 16-May-2015 22:00 17472352 singular-4.0.2-1.hint 08-Feb-2017 06:37 361 singular-4.0.2-1.tar.xz 16-May-2015 22:00 8130508