diff options
| author | Peter Simons <simons@cryp.to> | 2013-03-11 11:20:20 +0100 |
|---|---|---|
| committer | Peter Simons <simons@cryp.to> | 2013-03-11 11:26:14 +0100 |
| commit | 807cd9ff1698fa7133bd35511a56cc209c6772ed (patch) | |
| tree | c4d4dab47e54c53c47c7011d4cfc3cb377e7301e /pkgs/development/compilers | |
| parent | e45d55964b870faef47fe7566d3d017411b664b0 (diff) | |
| download | nixlib-807cd9ff1698fa7133bd35511a56cc209c6772ed.tar nixlib-807cd9ff1698fa7133bd35511a56cc209c6772ed.tar.gz nixlib-807cd9ff1698fa7133bd35511a56cc209c6772ed.tar.bz2 nixlib-807cd9ff1698fa7133bd35511a56cc209c6772ed.tar.lz nixlib-807cd9ff1698fa7133bd35511a56cc209c6772ed.tar.xz nixlib-807cd9ff1698fa7133bd35511a56cc209c6772ed.tar.zst nixlib-807cd9ff1698fa7133bd35511a56cc209c6772ed.zip | |
haskell-idris: update to version 0.9.7
Diffstat (limited to 'pkgs/development/compilers')
| -rw-r--r-- | pkgs/development/compilers/idris/default.nix | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/pkgs/development/compilers/idris/default.nix b/pkgs/development/compilers/idris/default.nix index babaa2e24821..b5f9446b8a4a 100644 --- a/pkgs/development/compilers/idris/default.nix +++ b/pkgs/development/compilers/idris/default.nix @@ -4,8 +4,8 @@ cabal.mkDerivation (self: { pname = "idris"; - version = "0.9.6.1"; - sha256 = "1wy79rrm5pvg77i9nvwkcg6swsdbmg2izch48n4lj4idj0ga5g62"; + version = "0.9.7"; + sha256 = "0y3rnxbs2s7kxlzlc347vwpylw2p0pdz50zgkyii21gd6klqvd45"; isLibrary = false; isExecutable = true; buildDepends = [ |