agda-prelude: 2014-09-27 -> 2016-04-18

This commit is contained in:
laMudri 2016-05-21 17:02:43 +01:00
parent 072ce88eb9
commit 92b843f9a5

View file

@ -1,13 +1,13 @@
{ stdenv, agda, fetchgit }:
agda.mkDerivation (self: rec {
version = "d598f35d88596c5a63766a7188a0c0144e467c8c";
version = "0dca24a81d417db2ae8fc871eccb7776f7eae952";
name = "agda-prelude-${version}";
src = fetchgit {
url = "https://github.com/UlfNorell/agda-prelude.git";
rev = version;
sha256 = "bdcffb675d0ad1bafa2b47f581b6a9b90347ae739b6218f89f365fda2cc4f8c8";
sha256 = "0gwfgvj96i1mx5v01bi46h567d1q1fbgvzv6z8zv91l2jhybwff5";
};
topSourceDirectories = [ "src" ];
@ -18,6 +18,6 @@ agda.mkDerivation (self: rec {
description = "Programming library for Agda";
license = stdenv.lib.licenses.mit;
platforms = stdenv.lib.platforms.unix;
maintainers = with maintainers; [ fuuzetsu ];
maintainers = with maintainers; [ fuuzetsu mudri ];
};
})