../ singular-debuginfo/ 11-Mar-2020 22:51 - singular-devel/ 11-Mar-2020 22:51 - singular-help/ 11-Mar-2020 22:51 - sha512.sum 11-Jan-2022 23:14 620 singular-4.0.2-1-src.hint 22-Jun-2021 04:05 310 singular-4.0.2-1-src.tar.xz 17-May-2015 15:10 17M singular-4.0.2-1.hint 08-Feb-2017 14:37 361 singular-4.0.2-1.tar.xz 17-May-2015 15:11 8M