branch master updated: gnu: sollya: Update to 8.0.

[guix-commits]

This is an automated email from the git hooks/post-receive script.

andreas pushed a commit to branch master
in repository guix.

The following commit(s) were added to refs/heads/master by this push:
     new f2ed82eb53 gnu: sollya: Update to 8.0.
f2ed82eb53 is described below

commit f2ed82eb53b5b34078e1e7746d5ba01cf569f2ad
Author: Andreas Enge <andreas@enge.fr>
AuthorDate: Mon Jun 13 17:50:28 2022 +0200

    gnu: sollya: Update to 8.0.
    
    * gnu/packages/algebra.scm (sollya): Update to 8.0.
---
 gnu/packages/algebra.scm | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/gnu/packages/algebra.scm b/gnu/packages/algebra.scm
index c2e167f443..921b07f1b0 100644
--- a/gnu/packages/algebra.scm
+++ b/gnu/packages/algebra.scm
@@ -1728,14 +1728,14 @@ no more than about 20 bits long).")
 (define-public sollya
   (package
    (name "sollya")
-   (version "7.0")
+   (version "8.0")
    (source (origin
             (method url-fetch)
             (uri (string-append "https://www.sollya.org/releases/";
                                 "sollya-" version "/sollya-" version 
".tar.bz2"))
             (sha256
              (base32
-              "11290ivi9h665cxi8f1shlavhy10vzb8s28m57hrcgnxyxqmhx0m"))))
+              "1sf1cjcr6x035n97l64ppzb9pzq5568h7waz0zfc3120894gcnjz"))))
    (build-system gnu-build-system)
    (inputs
     (list fplll