From 3bc9f9e77a9a9220b3370cfd0da62f15180c0525 Mon Sep 17 00:00:00 2001 From: Tobias Geerinckx-Rice Date: Sat, 18 Jan 2020 19:20:30 +0100 Subject: 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(-) (limited to 'gnu/packages') diff --git a/gnu/packages/fpga.scm b/gnu/packages/fpga.scm index 46c917b0d5..129b41f99a 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.") -- cgit v1.2.3