01/13: gnu: abc: Use HTTPS home page.

[guix-commits]

nckx pushed a commit to branch master
in repository guix.

commit 3bc9f9e77a9a9220b3370cfd0da62f15180c0525
Author: Tobias Geerinckx-Rice <address@hidden>
AuthorDate: Sat Jan 18 19:20:30 2020 +0100

    gnu: abc: Use HTTPS home page.
    
    * gnu/packages/fpga.scm (abc)[home-page]: Use HTTPS.
---
 gnu/packages/fpga.scm | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/gnu/packages/fpga.scm b/gnu/packages/fpga.scm
index 46c917b..129b41f 100644
--- a/gnu/packages/fpga.scm
+++ b/gnu/packages/fpga.scm
@@ -75,7 +75,7 @@
              (let* ((out (assoc-ref outputs "out"))
                     (out-bin (string-append out "/bin")))
                (install-file "abc" out-bin)))))))
-    (home-page "http://people.eecs.berkeley.edu/~alanmi/abc/";)
+    (home-page "https://people.eecs.berkeley.edu/~alanmi/abc/";)
     (synopsis "Sequential logic synthesis and formal verification")
     (description "ABC is a program for sequential logic synthesis and
 formal verification.")