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

AgdaStdlib: update to 0.9

Browse Source 
This should have really been updated with Agda itself.
This commit is contained in:
Mateusz Kowalczyk 2014-11-17 16:46:58 +00:00
parent 43b6d42fbd
commit 9e79811eb6
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/compilers/agda/stdlib.nix
View File

@ -1,12 +1,12 @@
{ stdenv, agda, fetchurl, ghc, filemanip }: { stdenv, agda, fetchurl, ghc, filemanip }:
agda.mkDerivation (self: rec { agda.mkDerivation (self: rec {
name = "Agda-stdlib"; version = "0.9";
version = "0.8.1"; name = "Agda-stdlib-${version}";
src = fetchurl { src = fetchurl {
url = "https://github.com/agda/agda-stdlib/archive/v${version}.tar.gz"; url = "https://github.com/agda/agda-stdlib/archive/v${version}.tar.gz";
sha256 = "0ij4rg4lk0pq01ing285gbmnn23dcf2rhihdcs8bbdpjg52vl4gf"; sha256 = "05rpmd2xra8wygq33mahdmijcjwq132l1akqyzj66n13frw4hfwj";
}; };
buildInputs = [ filemanip ghc ]; buildInputs = [ filemanip ghc ];