Branch: refs/heads/master
Home: https://github.com/NixOS/nixpkgs
Commit: ae84167aa177a5068bd47512b59e747a06c060de
https://github.com/NixOS/nixpkgs/commit/ae84167aa177a5068bd47512b59e747a06c060de
Author: Aycan iRiCAN <[email protected]>
Date: 2014-10-15 (Wed, 15 Oct 2014)
Changed paths:
M pkgs/development/compilers/idris/default.nix
Log Message:
-----------
Upgrade idris compiler to 0.9.14.3
Commit: f216f98aaacdc45172cb45f6a09f5d2b80a15032
https://github.com/NixOS/nixpkgs/commit/f216f98aaacdc45172cb45f6a09f5d2b80a15032
Author: Aycan iRiCAN <[email protected]>
Date: 2014-10-15 (Wed, 15 Oct 2014)
Changed paths:
M pkgs/development/compilers/idris/default.nix
Log Message:
-----------
Merge pull request #4537 from aycanirican/idris_update
Upgrade idris compiler to 0.9.14.3
Compare: https://github.com/NixOS/nixpkgs/compare/9d5431d1a2f7...f216f98aaacd_______________________________________________
nix-commits mailing list
[email protected]
http://lists.science.uu.nl/mailman/listinfo/nix-commits
