diff options
Diffstat (limited to 'gnu/packages/maths.scm')
| -rw-r--r-- | gnu/packages/maths.scm | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/gnu/packages/maths.scm b/gnu/packages/maths.scm index 25eca2135e..03f8a56ea0 100644 --- a/gnu/packages/maths.scm +++ b/gnu/packages/maths.scm @@ -7757,7 +7757,7 @@ generic reader and writer API.") (lambda* (#:key tests? #:allow-other-keys) (when tests? (invoke "sh" "test/runtests.sh"))))))) - (home-page "http://boolector.github.io/") + (home-page "https://boolector.github.io") (synopsis "Parser for BTOR2 format") (description "This package provides a parser for the BTOR2 format used by Boolector.") |