diff options
| author | Andres Löh <mail@andres-loeh.de> | 2010-09-29 19:24:29 +0000 |
|---|---|---|
| committer | Andres Löh <mail@andres-loeh.de> | 2010-09-29 19:24:29 +0000 |
| commit | 9d5f9819133004e1f5dc4e9c44ab3ea8d487599c (patch) | |
| tree | fd6028c474f1dd5f191da941e5f660ffdb599aee /pkgs/development/libraries/haskell/ivor | |
| parent | 7eb92a7821c17bd3c3dbfc338b6252d0d1beda3d (diff) | |
Updated the Idris compiler.
svn path=/nixpkgs/trunk/; revision=23991
Diffstat (limited to 'pkgs/development/libraries/haskell/ivor')
| -rw-r--r-- | pkgs/development/libraries/haskell/ivor/default.nix | 12 |
1 files changed, 7 insertions, 5 deletions
diff --git a/pkgs/development/libraries/haskell/ivor/default.nix b/pkgs/development/libraries/haskell/ivor/default.nix index d010707ac00ac..fd690e8b91b2e 100644 --- a/pkgs/development/libraries/haskell/ivor/default.nix +++ b/pkgs/development/libraries/haskell/ivor/default.nix @@ -1,12 +1,14 @@ -{cabal, mtl, parsec}: +{cabal, mtl, parsec, binary}: cabal.mkDerivation (self : { pname = "ivor"; - version = "0.1.8"; - sha256 = "e51ad07c78ea0cad6fce9253012258dbf7c740198792aa4a446e1f0269a9186d"; - propagatedBuildInputs = [mtl parsec]; + version = "0.1.12"; + sha256 = "77f17df646afbe5199d4ab0291515013ad1bda471b2690512f752b752a2905f5"; + propagatedBuildInputs = [mtl parsec binary]; meta = { description = "Theorem proving library based on dependent type theory"; + license = "BSD"; + maintainers = [self.stdenv.lib.maintainers.andres]; }; -}) +}) |