From 0e7b608ab08f22f80060c418f5fd0f4c671dfec7 Mon Sep 17 00:00:00 2001 From: Mario Rodas Date: Sun, 23 Apr 2017 18:45:36 -0500 Subject: abc-verifier: Add http url scheme to abc homepage --- pkgs/applications/science/logic/abc/default.nix | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'pkgs/applications/science/logic') 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 ]; -- cgit 1.4.1