public
/
nixpkgs
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

abc-verifier: Add http url scheme to abc homepage

This commit is contained in:
Mario Rodas 2017-04-23 18:45:36 -05:00
parent 5c7f4669a7
commit 0e7b608ab0
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

@ -22,7 +22,7 @@ stdenv.mkDerivation rec {
meta = { meta = {
description = "A tool for squential logic synthesis and ormal verification"; 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; license = stdenv.lib.licenses.mit;
platforms = stdenv.lib.platforms.unix; platforms = stdenv.lib.platforms.unix;
maintainers = [ stdenv.lib.maintainers.thoughtpolice ]; maintainers = [ stdenv.lib.maintainers.thoughtpolice ];