diff options
author | Michael Raskin <7c6f434c@mail.ru> | 2017-05-01 15:47:15 +0200 |
---|---|---|
committer | GitHub <noreply@github.com> | 2017-05-01 15:47:15 +0200 |
commit | 41475012eb69dae640994067f4c22082f06491bb (patch) | |
tree | 654f8114f2b6396631ea6a66741e49f2b7bbd65c /pkgs/applications/science | |
parent | e82070382a37ef7fb6f57b9d10fcc056dba2cd02 (diff) | |
parent | bebb14ebad22540d14dbb3f3d4047d73ebd610bc (diff) | |
download | nixlib-41475012eb69dae640994067f4c22082f06491bb.tar nixlib-41475012eb69dae640994067f4c22082f06491bb.tar.gz nixlib-41475012eb69dae640994067f4c22082f06491bb.tar.bz2 nixlib-41475012eb69dae640994067f4c22082f06491bb.tar.lz nixlib-41475012eb69dae640994067f4c22082f06491bb.tar.xz nixlib-41475012eb69dae640994067f4c22082f06491bb.tar.zst nixlib-41475012eb69dae640994067f4c22082f06491bb.zip |
Merge pull request #25164 from marsam/master
Homogenize abc-verifier, dwm, osmctools homepages
Diffstat (limited to 'pkgs/applications/science')
-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 ]; |