alioth/nixpkgs
3
0
Fork 0
forked from mirrors/nixpkgs
Code Releases Activity

abc-verifier: fix typo in meta

Browse source
This commit is contained in:
Vladimír Čunát 2017-07-15 09:26:38 +02:00
parent 08e0f106e3
commit 371ad29661
No known key found for this signature in database
GPG key ID: E747DF1F9575A3AA
1 changed files with 1 additions and 1 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

2
pkgs/applications/science/logic/abc/default.nix
View file

@ -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;