me
/
guix
Archived
1
0
Fork 0
Code

gnu: aiger: Use HTTPS source & home page. 

* gnu/packages/maths.scm (aiger)[source, home-page]: Use HTTPS.
master
Tobias Geerinckx-Rice 2023-07-09 02:00:01 +02:00
parent 24e5db1bc2
commit d3fa3e7313
No known key found for this signature in database
GPG Key ID: 0DB0FF884F556D79
1 changed files with 2 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

4
gnu/packages/maths.scm
View File

@ -7686,7 +7686,7 @@ optimized algorithms and implementation.")
(version "1.9.9") (version "1.9.9")
(source (origin (source (origin
(method url-fetch) (method url-fetch)
(uri (string-append "http://fmv.jku.at/aiger/aiger-" (uri (string-append "https://fmv.jku.at/aiger/aiger-"
version ".tar.gz")) version ".tar.gz"))
(sha256 (sha256
(base32 (base32
@ -7725,7 +7725,7 @@ optimized algorithms and implementation.")
(for-each (lambda (f) (install-file f incl)) (for-each (lambda (f) (install-file f incl))
(find-files "." "\\.h$")))))))) (find-files "." "\\.h$"))))))))
(inputs (list gzip)) (inputs (list gzip))
(home-page "http://fmv.jku.at/aiger") (home-page "https://fmv.jku.at/aiger")
(synopsis "Utilities for And-Inverter Graphs") (synopsis "Utilities for And-Inverter Graphs")
(description "AIGER is a format, library and set of utilities for (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 @acronym{AIG, And-Inverter Graphs}s. The focus is on conversion utilities and a