DIST Singular-3-1-1-2.tar.gz 19397418 SHA256 4e5929b324f952c69de1dedddbeca1c51a3733a0f63e026d3e7b61a7e469d5a7