Unverified Commit b38a950c authored by Weijia Wang's avatar Weijia Wang Committed by GitHub
Browse files

Merge pull request #291675 from r-ryantm/auto-update/msolve

msolve: 0.6.4 -> 0.6.5
parents 418ff75b be792ef3
Loading
Loading
Loading
Loading
+2 −2
Original line number Diff line number Diff line
@@ -9,13 +9,13 @@

stdenv.mkDerivation (finalAttrs: {
  pname = "msolve";
  version = "0.6.4";
  version = "0.6.5";

  src = fetchFromGitHub {
    owner = "algebraic-solving";
    repo = "msolve";
    rev = "v${finalAttrs.version}";
    hash = "sha256-XSV279cw1svAF+uyVmkUodX4FkltDesXsge4QKHqM1o=";
    hash = "sha256-qCquagxj31ih0r5kE4x/jsIBI+KBgrMa3HcBGuhlufk=";
  };

  postPatch = ''