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

msolve: 0.9.0 -> 0.9.1 (#442032)

parents c9869908 9670dfbd
Loading
Loading
Loading
Loading
+2 −2
Original line number Diff line number Diff line
@@ -11,13 +11,13 @@

stdenv.mkDerivation (finalAttrs: {
  pname = "msolve";
  version = "0.9.0";
  version = "0.9.1";

  src = fetchFromGitHub {
    owner = "algebraic-solving";
    repo = "msolve";
    tag = "v${finalAttrs.version}";
    hash = "sha256-6TU/h6ewQreomjStHZRViYTrrDG3+MZXa8mLg1NvvZg=";
    hash = "sha256-Th5Kd8AWg+xF5nnoHTJkz1wDjywQztUzXvE0NmYxC/E=";
  };

  postPatch = ''