diff options
| author | Peter Simons <simons@cryp.to> | 2012-11-12 12:34:28 +0100 |
|---|---|---|
| committer | Peter Simons <simons@cryp.to> | 2012-11-12 12:48:26 +0100 |
| commit | c6d37a63d6c9d7224fc32a31bd2f43f585aa48b8 (patch) | |
| tree | c6c4bb9e8d11fa2aed309cbb47f4c34ebb802dfd | |
| parent | 6ce091604476ac4d61f80debc1e84a4898d69535 (diff) | |
| download | nixlib-c6d37a63d6c9d7224fc32a31bd2f43f585aa48b8.tar nixlib-c6d37a63d6c9d7224fc32a31bd2f43f585aa48b8.tar.gz nixlib-c6d37a63d6c9d7224fc32a31bd2f43f585aa48b8.tar.bz2 nixlib-c6d37a63d6c9d7224fc32a31bd2f43f585aa48b8.tar.lz nixlib-c6d37a63d6c9d7224fc32a31bd2f43f585aa48b8.tar.xz nixlib-c6d37a63d6c9d7224fc32a31bd2f43f585aa48b8.tar.zst nixlib-c6d37a63d6c9d7224fc32a31bd2f43f585aa48b8.zip | |
haskell-Agda: update to version 2.3.2
| -rw-r--r-- | pkgs/development/libraries/haskell/Agda/default.nix | 15 |
1 files changed, 8 insertions, 7 deletions
diff --git a/pkgs/development/libraries/haskell/Agda/default.nix b/pkgs/development/libraries/haskell/Agda/default.nix index b598accffc60..a9d05596495c 100644 --- a/pkgs/development/libraries/haskell/Agda/default.nix +++ b/pkgs/development/libraries/haskell/Agda/default.nix @@ -1,19 +1,20 @@ -{ cabal, alex, binary, filepath, happy, hashable, hashtables -, haskeline, haskellSrcExts, mtl, QuickCheck, syb, xhtml, zlib +{ cabal, alex, binary, deepseq, filepath, geniplate, happy +, hashable, hashtables, haskeline, haskellSrcExts, mtl, parallel +, QuickCheck, text, unorderedContainers, xhtml, zlib }: cabal.mkDerivation (self: { pname = "Agda"; - version = "2.3.0.1"; - sha256 = "0f2kc3by2z01g8bqc446hyzx9sidx6qi0p7h5bcpjf8iryk1dh2w"; + version = "2.3.2"; + sha256 = "1xp0qvag6wx6zjwhmb7nm13hp63vlh8h4a2rkc85rsh610m0nynl"; isLibrary = true; isExecutable = true; buildDepends = [ - binary filepath hashable hashtables haskeline haskellSrcExts mtl - QuickCheck syb xhtml zlib + binary deepseq filepath geniplate hashable hashtables haskeline + haskellSrcExts mtl parallel QuickCheck text unorderedContainers + xhtml zlib ]; buildTools = [ alex happy ]; - jailbreak = true; meta = { homepage = "http://wiki.portal.chalmers.se/agda/"; description = "A dependently typed functional programming language and proof assistant"; |