gh-40260: Update msolve 0.8.0
    
Mainly to get us out of the sticky situation with the modified 0.7.5
tarball, for which we have two conflicting binaries breaking the gh
release workflow:  https://github.com/sagemath/sage/actions/runs/1565663
8164/job/44108544612
    
URL: #40260
Reported by: Volker Braun
Reviewer(s): Dima Pasechnik

Author: Release Manager

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

build/pkgs/msolve/package-version.txt

@@ -1 +1 @@
-0.7.5
+0.8.0

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)