diff options
author | Vladimír Čunát <vcunat@gmail.com> | 2017-08-12 10:09:41 +0200 |
---|---|---|
committer | Vladimír Čunát <vcunat@gmail.com> | 2017-08-12 10:09:41 +0200 |
commit | 6899c7fdb989ce02f877ce5c0490a20ac4a64bf0 (patch) | |
tree | 68a2e9b25d3b4f0d0a70343b38d10bdc0111f20d /pkgs/development/libraries/agda/pretty/default.nix | |
parent | 9bcee1051a94d6ba2be64a19665f017542122b83 (diff) | |
parent | e207d1f04ad262f53e387e9e3956a2a9c421a66a (diff) | |
download | nixlib-6899c7fdb989ce02f877ce5c0490a20ac4a64bf0.tar nixlib-6899c7fdb989ce02f877ce5c0490a20ac4a64bf0.tar.gz nixlib-6899c7fdb989ce02f877ce5c0490a20ac4a64bf0.tar.bz2 nixlib-6899c7fdb989ce02f877ce5c0490a20ac4a64bf0.tar.lz nixlib-6899c7fdb989ce02f877ce5c0490a20ac4a64bf0.tar.xz nixlib-6899c7fdb989ce02f877ce5c0490a20ac4a64bf0.tar.zst nixlib-6899c7fdb989ce02f877ce5c0490a20ac4a64bf0.zip |
Merge branch 'master' into gcc-6
Diffstat (limited to 'pkgs/development/libraries/agda/pretty/default.nix')
-rw-r--r-- | pkgs/development/libraries/agda/pretty/default.nix | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/pkgs/development/libraries/agda/pretty/default.nix b/pkgs/development/libraries/agda/pretty/default.nix index 6aaaa44b00f0..25e6ff6667fe 100644 --- a/pkgs/development/libraries/agda/pretty/default.nix +++ b/pkgs/development/libraries/agda/pretty/default.nix @@ -16,7 +16,7 @@ agda.mkDerivation (self: rec { topSourceDirectories = [ "../$sourceRoot" ]; meta = with stdenv.lib; { - homepage = "http://www.cse.chalmers.se/~nad/publications/danielsson-correct-pretty.html"; + homepage = http://www.cse.chalmers.se/~nad/publications/danielsson-correct-pretty.html; description = "Correct-by-Construction Pretty-Printing"; license = stdenv.lib.licenses.mit; platforms = stdenv.lib.platforms.unix; |