msolve: 0.7.1 -> 0.7.2

This commit is contained in:
R. Ryantm 2024-09-19 02:11:56 +00:00
parent db8da26fb9
commit 4016385fe2

View File

@ -9,13 +9,13 @@
stdenv.mkDerivation (finalAttrs: { stdenv.mkDerivation (finalAttrs: {
pname = "msolve"; pname = "msolve";
version = "0.7.1"; version = "0.7.2";
src = fetchFromGitHub { src = fetchFromGitHub {
owner = "algebraic-solving"; owner = "algebraic-solving";
repo = "msolve"; repo = "msolve";
rev = "v${finalAttrs.version}"; rev = "v${finalAttrs.version}";
hash = "sha256-f1AtZ0tyHg3fqz44GK7eCsye+wiKeBbpKK9JWXpV/tk="; hash = "sha256-p7fD954aMApyBP58cvGrPwHEqhkxWlaiDHUlQT7kX4c=";
}; };
postPatch = '' postPatch = ''