diff options
| author | Tobias Geerinckx-Rice <me@tobias.gr> | 2023-07-09 02:00:01 +0200 |
|---|---|---|
| committer | Tobias Geerinckx-Rice <me@tobias.gr> | 2023-07-09 02:00:01 +0200 |
| commit | d3fa3e7313075a1eec96aa6a86696c242f07cdfa (patch) | |
| tree | 826de00dc120a777673142bd5051e553771e87fe | |
| parent | 24e5db1bc242aeee7798d96942d0e06ca280ef06 (diff) | |
gnu: aiger: Use HTTPS source & home page.
* gnu/packages/maths.scm (aiger)[source, home-page]: Use HTTPS.
| -rw-r--r-- | gnu/packages/maths.scm | 4 |
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 |