diff options
author | Vladimír Čunát <vcunat@gmail.com> | 2017-07-15 09:26:38 +0200 |
---|---|---|
committer | Vladimír Čunát <vcunat@gmail.com> | 2017-07-15 09:27:41 +0200 |
commit | 371ad29661df49b77922acb78f307b12ddc0ade7 (patch) | |
tree | 482bb147980e16624351a98fdf8763c5938cff82 /pkgs/applications/science | |
parent | 08e0f106e3d3a05455b9afa926b4e2e8211f1ed2 (diff) | |
download | nixlib-371ad29661df49b77922acb78f307b12ddc0ade7.tar nixlib-371ad29661df49b77922acb78f307b12ddc0ade7.tar.gz nixlib-371ad29661df49b77922acb78f307b12ddc0ade7.tar.bz2 nixlib-371ad29661df49b77922acb78f307b12ddc0ade7.tar.lz nixlib-371ad29661df49b77922acb78f307b12ddc0ade7.tar.xz nixlib-371ad29661df49b77922acb78f307b12ddc0ade7.tar.zst nixlib-371ad29661df49b77922acb78f307b12ddc0ade7.zip |
abc-verifier: fix typo in meta
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 47fd8e5dbc81..bab9b302d7d1 100644 --- a/pkgs/applications/science/logic/abc/default.nix +++ b/pkgs/applications/science/logic/abc/default.nix @@ -21,7 +21,7 @@ stdenv.mkDerivation rec { ''; meta = { - description = "A tool for squential logic synthesis and ormal verification"; + description = "A tool for squential logic synthesis and formal verification"; homepage = "https://people.eecs.berkeley.edu/~alanmi/abc/abc.htm"; license = stdenv.lib.licenses.mit; platforms = stdenv.lib.platforms.unix; |