···2425stdenv.mkDerivation rec {
26 pname = "singular";
27- version = "4.3.1p2";
2829 # since the tarball does not contain tests, we fetch from GitHub.
30 src = fetchFromGitHub {
···3334 # if a release is tagged (which sometimes does not happen), it will
35 # be in the format below.
36- # rev = "Release-${lib.replaceStrings ["."] ["-"] version}";
37- rev = "370a87f29e7b2a3fefe287184bd4f75b793cb03c";
38- sha256 = "sha256-T2tJ5yHTLzrXdozQB/XGZn4lNhpwVd9L30ZOzKAHxWs=";
3940 # the repository's .gitattributes file contains the lines "/Tst/
41 # export-ignore" and "/doc/ export-ignore" so some directories are
···2425stdenv.mkDerivation rec {
26 pname = "singular";
27+ version = "4.3.2p1";
2829 # since the tarball does not contain tests, we fetch from GitHub.
30 src = fetchFromGitHub {
···3334 # if a release is tagged (which sometimes does not happen), it will
35 # be in the format below.
36+ rev = "Release-${lib.replaceStrings ["."] ["-"] version}";
37+ sha256 = "sha256-fprlqJ/3vhnUBnopOhWi4TWMKjcJ4qDQGq8vaaGzy2E=";
03839 # the repository's .gitattributes file contains the lines "/Tst/
40 # export-ignore" and "/doc/ export-ignore" so some directories are