05/07: gnu: 4ti2: Update home page.

[guix-commits]

nckx pushed a commit to branch master
in repository guix.

commit 2be1a6795fd51cb7e7ed0552114b7da1b3c13ecc
Author: Tobias Geerinckx-Rice <me@tobias.gr>
AuthorDate: Sun Jul 9 02:00:01 2023 +0200

    gnu: 4ti2: Update home page.
    
    * gnu/packages/maths.scm (4ti2)[home-page]: Update.
---
 gnu/packages/maths.scm | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/gnu/packages/maths.scm b/gnu/packages/maths.scm
index 7ac66daacd..b9b63c81c1 100644
--- a/gnu/packages/maths.scm
+++ b/gnu/packages/maths.scm
@@ -814,7 +814,7 @@ LP/MIP solver is included in the package.")
      (list (@ (gnu packages base) which))) ; for the tests
     (inputs
      (list glpk gmp))
-    (home-page "http://www.4ti2.de/";)
+    (home-page "https://4ti2.github.io";)
     (synopsis "Mathematical tool suite for problems on linear spaces")
     (description
      "4ti2 implements algorithms for solving algebraic, geometric and