gnu: 4ti2: Update home page.

* gnu/packages/maths.scm (4ti2)[home-page]: Update.
This commit is contained in:
Tobias Geerinckx-Rice 2023-07-09 02:00:01 +02:00
parent 8a9a7ae36e
commit 2be1a6795f
No known key found for this signature in database
GPG key ID: 0DB0FF884F556D79

View file

@ -814,7 +814,7 @@ (define-public 4ti2
(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