../ sha512.sum 11-Mar-2020 15:14 318 singular-devel-4.0.2-1.hint 24-Mar-2016 12:09 227 singular-devel-4.0.2-1.tar.xz 17-May-2015 07:08 16M