From 270c7f0622a1d49aa6fec21ffeeed5f6092fb2f4 Mon Sep 17 00:00:00 2001
From: Mateusz Kowalczyk <fuuzetsu@fuuzetsu.co.uk>
Date: Thu, 11 Sep 2014 19:51:24 +0100
Subject: [PATCH] agda-sheaves: use lib.licenses

---
 pkgs/development/libraries/agda/AgdaSheaves/default.nix | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/pkgs/development/libraries/agda/AgdaSheaves/default.nix b/pkgs/development/libraries/agda/AgdaSheaves/default.nix
index 7ee5e90e60cd..83066f5da632 100644
--- 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 ];
   };