diff options
author | Mateusz Kowalczyk <fuuzetsu@fuuzetsu.co.uk> | 2014-12-10 09:48:11 +0000 |
---|---|---|
committer | Mateusz Kowalczyk <fuuzetsu@fuuzetsu.co.uk> | 2014-12-10 09:48:11 +0000 |
commit | 691b2ac0ad40f2dfee2b074379ae510e1ff618de (patch) | |
tree | f88632a7e405ac294fcf404eb73c6581b83442f0 /pkgs/development/compilers | |
parent | 4d520d9e127d146c3041847bcd9bb656b4367e6b (diff) | |
download | nixlib-691b2ac0ad40f2dfee2b074379ae510e1ff618de.tar nixlib-691b2ac0ad40f2dfee2b074379ae510e1ff618de.tar.gz nixlib-691b2ac0ad40f2dfee2b074379ae510e1ff618de.tar.bz2 nixlib-691b2ac0ad40f2dfee2b074379ae510e1ff618de.tar.lz nixlib-691b2ac0ad40f2dfee2b074379ae510e1ff618de.tar.xz nixlib-691b2ac0ad40f2dfee2b074379ae510e1ff618de.tar.zst nixlib-691b2ac0ad40f2dfee2b074379ae510e1ff618de.zip |
haskell-Agda: update to 2.4.2.2
Diffstat (limited to 'pkgs/development/compilers')
-rw-r--r-- | pkgs/development/compilers/agda/default.nix | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/pkgs/development/compilers/agda/default.nix b/pkgs/development/compilers/agda/default.nix index b37f6ce1ab30..573f7c6b8904 100644 --- a/pkgs/development/compilers/agda/default.nix +++ b/pkgs/development/compilers/agda/default.nix @@ -9,8 +9,8 @@ cabal.mkDerivation (self: { pname = "Agda"; - version = "2.4.2.1"; - sha256 = "094x1rdhqxm630f0kgllhivgr1vdy4xrd9pgh737b1gbb2vf3awm"; + version = "2.4.2.2"; + sha256 = "1hxvapnvlkx6imifswc70ng869zll0zfsygivhc2mjyhaiv10i13"; isLibrary = true; isExecutable = true; buildDepends = [ |