agda-sheaves: use lib.licenses

2014-09-11 19:51:24 +01:00 · 2014-09-11 19:51:24 +01:00 · 270c7f0622
parent 963b5e820c
commit 270c7f0622
1 changed files with 1 additions and 1 deletions
--- a/pkgs/development/libraries/agda/AgdaSheaves/default.nix
+++ b/pkgs/development/libraries/agda/AgdaSheaves/default.nix
@ -16,7 +16,7 @@ agda.mkDerivation (self: rec {
  meta = {
    homepage = "https://github.com/jonsterling/Agda-Sheaves";
    description = "Sheaves in Agda";
-    license = "CC-BY-4.0";
+    license = stdenv.lib.licenses.cc-by-40;
    platforms = stdenv.lib.platforms.unix;
    maintainers = with stdenv.lib.maintainers; [ fuuzetsu ];
  };