diff options
author | Mario Rodas <marsam@users.noreply.github.com> | 2017-04-23 18:45:36 -0500 |
---|---|---|
committer | Mario Rodas <marsam@users.noreply.github.com> | 2017-04-23 18:45:36 -0500 |
commit | 0e7b608ab08f22f80060c418f5fd0f4c671dfec7 (patch) | |
tree | e18ce800eb7bef3ace1219a8852ea9258064bcba /pkgs/applications/science/logic | |
parent | 5c7f4669a7880bc2f929271ae4fdbdc2ba8e2a8b (diff) | |
download | nixlib-0e7b608ab08f22f80060c418f5fd0f4c671dfec7.tar nixlib-0e7b608ab08f22f80060c418f5fd0f4c671dfec7.tar.gz nixlib-0e7b608ab08f22f80060c418f5fd0f4c671dfec7.tar.bz2 nixlib-0e7b608ab08f22f80060c418f5fd0f4c671dfec7.tar.lz nixlib-0e7b608ab08f22f80060c418f5fd0f4c671dfec7.tar.xz nixlib-0e7b608ab08f22f80060c418f5fd0f4c671dfec7.tar.zst nixlib-0e7b608ab08f22f80060c418f5fd0f4c671dfec7.zip |
abc-verifier: Add http url scheme to abc homepage
Diffstat (limited to 'pkgs/applications/science/logic')
-rw-r--r-- | pkgs/applications/science/logic/abc/default.nix | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/pkgs/applications/science/logic/abc/default.nix b/pkgs/applications/science/logic/abc/default.nix index fc07807b91d0..47fd8e5dbc81 100644 --- a/pkgs/applications/science/logic/abc/default.nix +++ b/pkgs/applications/science/logic/abc/default.nix @@ -22,7 +22,7 @@ stdenv.mkDerivation rec { meta = { description = "A tool for squential logic synthesis and ormal verification"; - homepage = "www.eecs.berkeley.edu/~alanmi/abc/abc.htm"; + homepage = "https://people.eecs.berkeley.edu/~alanmi/abc/abc.htm"; license = stdenv.lib.licenses.mit; platforms = stdenv.lib.platforms.unix; maintainers = [ stdenv.lib.maintainers.thoughtpolice ]; |