diff options
Diffstat (limited to 'nixpkgs/pkgs/applications/science/logic/jonprl/default.nix')
-rw-r--r-- | nixpkgs/pkgs/applications/science/logic/jonprl/default.nix | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/nixpkgs/pkgs/applications/science/logic/jonprl/default.nix b/nixpkgs/pkgs/applications/science/logic/jonprl/default.nix index e503836098f1..3ee05a478bc2 100644 --- a/nixpkgs/pkgs/applications/science/logic/jonprl/default.nix +++ b/nixpkgs/pkgs/applications/science/logic/jonprl/default.nix @@ -26,7 +26,7 @@ stdenv.mkDerivation rec { based on Brouwer-realizability & meaning explanations. Inspired by Nuprl ''; - homepage = https://github.com/jonsterling/JonPRL; + homepage = "https://github.com/jonsterling/JonPRL"; license = stdenv.lib.licenses.mit; maintainers = with stdenv.lib.maintainers; [ puffnfresh ]; platforms = stdenv.lib.platforms.linux; |