public/nixpkgs
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

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

Browse Source
This commit is contained in:
laMudri 2016-06-07 10:54:32 +01:00
parent 2e712b501c
commit 949ede3d2f
1 changed files with 3 additions and 3 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

6
pkgs/development/libraries/agda/agda-prelude/default.nix
View File

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