Merge pull request #315793 from r-ryantm/auto-update/normaliz

normaliz: 3.10.2 -> 3.10.3
This commit is contained in:
Weijia Wang 2024-06-04 22:01:02 +02:00 committed by GitHub
commit 433b4cbde2
No known key found for this signature in database
GPG Key ID: B5690EEEBB952194

View File

@ -10,13 +10,13 @@
stdenv.mkDerivation (finalAttrs: {
pname = "normaliz";
version = "3.10.2";
version = "3.10.3";
src = fetchFromGitHub {
owner = "normaliz";
repo = "normaliz";
rev = "v${finalAttrs.version}";
hash = "sha256-Q4OktVvFobP25fYggIqBGtSJu2HsYz9Tm+QbEAz0fMg=";
hash = "sha256-9jN3EbYfWmir+pa4XuJpeT7CnQdhVU9pP8G11npIG00=";
};
buildInputs = [