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