msolve: 0.9.5 -> 0.10.0 (#531976)

This commit is contained in:
Weijia Wang 2026-06-15 17:30:52 +00:00 committed by GitHub
commit 7f16f486ae
No known key found for this signature in database
GPG key ID: B5690EEEBB952194

View file

@ -11,13 +11,13 @@
stdenv.mkDerivation (finalAttrs: {
pname = "msolve";
version = "0.9.5";
version = "0.10.0";
src = fetchFromGitHub {
owner = "algebraic-solving";
repo = "msolve";
tag = "v${finalAttrs.version}";
hash = "sha256-zty220Elqa8SACM9OlemVNEMbMx9DkhjJjUekZFR67A=";
hash = "sha256-SGsmFQRkURw2n5KeVij7nylf2raW4deHVCl4c5bqCKk=";
};
postPatch = ''