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

agda-stdlib: upgrade to 0.8 (they keep changing the version scheme)

Browse Source 
Conflicts:
	pkgs/development/compilers/agda/stdlib-0.8.nix
	pkgs/top-level/haskell-packages.nix
This commit is contained in:
Mathijs Kwik 2014-06-17 08:09:04 +02:00
parent 6025caa92b
commit 3fd519822f
2 changed files with 7 additions and 7 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

12
pkgs/development/compilers/agda/stdlib-2.4.0.nix → pkgs/development/compilers/agda/stdlib-0.8.nix
View File

@ -1,12 +1,12 @@
{ cabal, fetchurl, filemanip, Agda }: { cabal, fetchurl, filemanip, Agda }:
cabal.mkDerivation (self: { cabal.mkDerivation (self: rec {
pname = "Agda-lib-ffi"; pname = "Agda-stdlib";
version = "2.4.0"; version = "0.8";
src = fetchurl { src = fetchurl {
url = "https://github.com/agda/agda-stdlib/archive/v2.4.0.tar.gz"; url = "https://github.com/agda/agda-stdlib/archive/v${version}.tar.gz";
sha256 = "1rz0jrkm1b8d8aj9hbj3yl2k219c57r0cizfx98qqf1b9mwixzbf"; sha256 = "03gdcy2gar46qlmd6w91y05cm1x304ig6bda90ryww9qn05kif78";
}; };
buildDepends = [ filemanip Agda ]; buildDepends = [ filemanip Agda ];
@ -18,7 +18,7 @@ cabal.mkDerivation (self: {
mkdir -p $out/share mkdir -p $out/share
cd .. cd ..
runhaskell GenerateEverything runhaskell GenerateEverything
${Agda}/bin/agda -i . -i src Everything.agda agda -i . -i src Everything.agda
cp -pR src $out/share/agda cp -pR src $out/share/agda
''; '';

2
pkgs/top-level/haskell-packages.nix
View File

@ -2607,7 +2607,7 @@ self : let callPackage = x : y : modifyPrio (newScope self x y); in
AgdaStdlib_0_7 = callPackage ../development/compilers/agda/stdlib-0.7.nix { AgdaStdlib_0_7 = callPackage ../development/compilers/agda/stdlib-0.7.nix {
Agda = self.Agda_2_3_2_2; Agda = self.Agda_2_3_2_2;
}; };
AgdaStdlib_2_4_0 = callPackage ../development/compilers/agda/stdlib-2.4.0.nix { AgdaStdlib_0_8 = callPackage ../development/compilers/agda/stdlib-0.8.nix {
Agda = self.Agda_2_4_0_1; Agda = self.Agda_2_4_0_1;
}; };
AgdaStdlib = self.AgdaStdlib_0_7; AgdaStdlib = self.AgdaStdlib_0_7;