Merge pull request #200345 from r-ryantm/auto-update/openturns

openturns: 1.19 -> 1.20
This commit is contained in:
Bobby Rong 2022-11-16 16:45:20 +08:00 committed by GitHub
commit 4e90099032
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23

View File

@ -25,13 +25,13 @@
stdenv.mkDerivation rec {
pname = "openturns";
version = "1.19";
version = "1.20";
src = fetchFromGitHub {
owner = "openturns";
repo = "openturns";
rev = "v${version}";
sha256 = "sha256-hSvhKx7Ke5PXPYGcn9OJvq7YooAbHrbP6TdLZBotriE=";
sha256 = "sha256-QeapH937yGnK6oD+rgIERePxz6ooxGpOx6x9LyFDt2A=";
};
nativeBuildInputs = [ cmake ] ++ lib.optional enablePython python3Packages.sphinx;