diff options
| author | Tobias Geerinckx-Rice <me@tobias.gr> | 2020-01-18 19:20:30 +0100 |
|---|---|---|
| committer | Tobias Geerinckx-Rice <me@tobias.gr> | 2020-02-15 17:07:02 +0100 |
| commit | 3bc9f9e77a9a9220b3370cfd0da62f15180c0525 (patch) | |
| tree | e80c7a534f7859a36a04b655b51befb0e47c7ba2 | |
| parent | 2e5044cfe49de2caf4e4ae2f1be4c2b9f1d690a2 (diff) | |
| download | patches-3bc9f9e77a9a9220b3370cfd0da62f15180c0525.tar patches-3bc9f9e77a9a9220b3370cfd0da62f15180c0525.tar.gz | |
gnu: abc: Use HTTPS home page.
* gnu/packages/fpga.scm (abc)[home-page]: Use HTTPS.
| -rw-r--r-- | gnu/packages/fpga.scm | 2 |
1 files changed, 1 insertions, 1 deletions
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.") |