nordic-dev.net/nixpkgs
nordic-dev.net/nixpkgs
2
0
Fork 0
mirror of https://github.com/NixOS/nixpkgs.git synced 2025-01-18 19:03:28 +00:00
Code Issues Packages Projects Releases Wiki Activity

Agda needs an older version of haskell-equivalence

Browse Source
This commit is contained in:
John Wiegley 2014-07-30 18:10:59 -05:00
parent e4e5502966
commit 11dc22e3ee
3 changed files with 26 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

22
pkgs/development/libraries/haskell/equivalence/0.2.3.nix Normal file
View File

@ -0,0 +1,22 @@
# This file was auto-generated by cabal2nix. Please do NOT edit manually!
{ cabal, mtl, QuickCheck, STMonadTrans, testFramework
, testFrameworkQuickcheck2
}:
cabal.mkDerivation (self: {
pname = "equivalence";
version = "0.2.3";
sha256 = "0dd986y0sn89fparyz6kz9yhzysbqjcp8s99r81ihghg7s9yc743";
buildDepends = [ mtl STMonadTrans ];
testDepends = [
mtl QuickCheck STMonadTrans testFramework testFrameworkQuickcheck2
];
doCheck = false;
meta = {
homepage = "https://bitbucket.org/paba/equivalence/";
description = "Maintaining an equivalence relation implemented as union-find using STT";
license = self.stdenv.lib.licenses.bsd3;
platforms = self.ghc.meta.platforms;
};
})

0
pkgs/development/libraries/haskell/equivalence/default.nix → pkgs/development/libraries/haskell/equivalence/0.2.5.nix
View File

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

@ -731,7 +731,9 @@ self : let callPackage = x : y : modifyPrio (newScope self x y); in
entropy = callPackage ../development/libraries/haskell/entropy {};
equivalence = callPackage ../development/libraries/haskell/equivalence {};
equivalence_0_2_3 = callPackage ../development/libraries/haskell/equivalence/0.2.3.nix {};
equivalence_0_2_5 = callPackage ../development/libraries/haskell/equivalence/0.2.5.nix {};
equivalence = self.equivalence_0_2_5;
erf = callPackage ../development/libraries/haskell/erf {};
@ -2759,6 +2761,7 @@ self : let callPackage = x : y : modifyPrio (newScope self x y); in
Agda_2_4_0_1 = callPackage ../development/compilers/agda/2.4.0.1.nix {
binary = self.binary_0_7_2_1;
QuickCheck = self.QuickCheck_2_7_5;
equivalence = self.equivalence_0_2_3;
};
Agda = self.Agda_2_4_0_1;