summaryrefslogtreecommitdiff
path: root/gnu/packages/maths.scm
diff options
context:
space:
mode:
authorTobias Geerinckx-Rice <me@tobias.gr>2023-07-09 02:00:01 +0200
committerTobias Geerinckx-Rice <me@tobias.gr>2023-07-09 02:00:01 +0200
commitd3fa3e7313075a1eec96aa6a86696c242f07cdfa (patch)
tree826de00dc120a777673142bd5051e553771e87fe /gnu/packages/maths.scm
parent24e5db1bc242aeee7798d96942d0e06ca280ef06 (diff)
gnu: aiger: Use HTTPS source & home page.
* gnu/packages/maths.scm (aiger)[source, home-page]: Use HTTPS.
Diffstat (limited to 'gnu/packages/maths.scm')
-rw-r--r--gnu/packages/maths.scm4
1 files changed, 2 insertions, 2 deletions
diff --git a/gnu/packages/maths.scm b/gnu/packages/maths.scm
index b0b3e382ae..adde13ee65 100644
--- a/gnu/packages/maths.scm
+++ b/gnu/packages/maths.scm
@@ -7686,7 +7686,7 @@ optimized algorithms and implementation.")
(version "1.9.9")
(source (origin
(method url-fetch)
- (uri (string-append "http://fmv.jku.at/aiger/aiger-"
+ (uri (string-append "https://fmv.jku.at/aiger/aiger-"
version ".tar.gz"))
(sha256
(base32
@@ -7725,7 +7725,7 @@ optimized algorithms and implementation.")
(for-each (lambda (f) (install-file f incl))
(find-files "." "\\.h$"))))))))
(inputs (list gzip))
- (home-page "http://fmv.jku.at/aiger")
+ (home-page "https://fmv.jku.at/aiger")
(synopsis "Utilities for And-Inverter Graphs")
(description "AIGER is a format, library and set of utilities for
@acronym{AIG, And-Inverter Graphs}s. The focus is on conversion utilities and a