diff options
Diffstat (limited to 'nixpkgs/pkgs/applications/science/logic/picosat/default.nix')
-rw-r--r-- | nixpkgs/pkgs/applications/science/logic/picosat/default.nix | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/nixpkgs/pkgs/applications/science/logic/picosat/default.nix b/nixpkgs/pkgs/applications/science/logic/picosat/default.nix index 547bd31e8b42..b13d871580c5 100644 --- a/nixpkgs/pkgs/applications/science/logic/picosat/default.nix +++ b/nixpkgs/pkgs/applications/science/logic/picosat/default.nix @@ -36,7 +36,7 @@ stdenv.mkDerivation rec { meta = { description = "SAT solver with proof and core support"; - homepage = http://fmv.jku.at/picosat/; + homepage = "http://fmv.jku.at/picosat/"; license = stdenv.lib.licenses.mit; platforms = stdenv.lib.platforms.unix; maintainers = with stdenv.lib.maintainers; [ roconnor thoughtpolice ]; |