Name Last modified Size Description
Parent Directory - sha512.sum 2022-01-12 00:14 620 singular-4.0.2-1-src.hint 2021-06-22 05:05 310 singular-4.0.2-1-src.tar.xz 2015-05-17 16:10 17M singular-4.0.2-1.hint 2017-02-08 15:37 361 singular-4.0.2-1.tar.xz 2015-05-17 16:11 7.8M singular-debuginfo/ 2020-03-11 23:51 - singular-devel/ 2020-03-11 23:51 - singular-help/ 2020-03-11 23:51 -