02/11: gnu: aiger: Use HTTPS source & home page.

[guix-commits]

nckx pushed a commit to branch master
in repository guix.

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

    gnu: aiger: Use HTTPS source & home page.
    
    * gnu/packages/maths.scm (aiger)[source, home-page]: Use HTTPS.
---
 gnu/packages/maths.scm | 4 ++--
 1 file 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