Branch: refs/heads/release-15.09
Home: https://github.com/NixOS/nixpkgs
Commit: 15dfd9b2994bc84351f6217fb79608ddcbfd6a60
https://github.com/NixOS/nixpkgs/commit/15dfd9b2994bc84351f6217fb79608ddcbfd6a60
Author: Shea Levy <[email protected]>
Date: 2015-11-27 (Fri, 27 Nov 2015)
Changed paths:
A pkgs/development/idris-modules/README.md
A pkgs/development/idris-modules/TODO.md
A pkgs/development/idris-modules/build-builtin-package.nix
A pkgs/development/idris-modules/build-idris-package.nix
A pkgs/development/idris-modules/default.nix
A pkgs/development/idris-modules/with-packages.nix
A pkgs/development/idris-modules/wl-pprint.nix
M pkgs/top-level/all-packages.nix
Log Message:
-----------
Merge branch 'idris-packages'
(cherry picked from commit f7c2cd33479ce2489e2b47a9a91e453aaf25a4d4)
_______________________________________________
nix-commits mailing list
[email protected]
http://lists.science.uu.nl/mailman/listinfo/nix-commits
