diff --git a/build/pkgs/msolve/checksums.ini b/build/pkgs/msolve/checksums.ini index e8fb2b44ae8..6329dea72cd 100644 --- a/build/pkgs/msolve/checksums.ini +++ b/build/pkgs/msolve/checksums.ini @@ -1,4 +1,4 @@ tarball=msolve-VERSION.tar.gz -sha1=51dd500923406685a6417eb6a88219206cbfb07e -sha256=60c5db22778ebf8b19ee2fb49442be453e259ec6c77c8b2eb2e1b256deb19556 +sha1=8f6f836979fc1fe9ad17101b0857622791e8789f +sha256=319ba0de67dca967dea40cb6e4dacf44eab387c2f0c2416b71842c11affbadfd upstream_url=https://msolve.lip6.fr/downloads/vVERSION/msolve-VERSION.tar.gz diff --git a/build/pkgs/msolve/package-version.txt b/build/pkgs/msolve/package-version.txt index 8bd6ba8c5c3..a3df0a6959e 100644 --- a/build/pkgs/msolve/package-version.txt +++ b/build/pkgs/msolve/package-version.txt @@ -1 +1 @@ -0.7.5 +0.8.0 diff --git a/src/sage/features/msolve.py b/src/sage/features/msolve.py index 24215a7c57c..c6a80634a0f 100644 --- a/src/sage/features/msolve.py +++ b/src/sage/features/msolve.py @@ -59,8 +59,8 @@ def is_functional(self): # if msolve_out.returncode != 0: # return FeatureTestResult(self, False, reason="msolve -h returned " # f"nonzero exit status {msolve_out.returncode}") - if (msolve_out.stdout[:46] != - b'\nmsolve library for polynomial system solving\n'): + if (msolve_out.stdout[:45] != + b'\nmsolve library for polynomial system solving'): return FeatureTestResult(self, False, reason="output of msolve -h not recognized") return FeatureTestResult(self, True)