Branch: refs/heads/master
Home: https://github.com/NixOS/nixpkgs
Commit: 34e8eea942e02a5562c2391e62fd1e5cfc154dda
https://github.com/NixOS/nixpkgs/commit/34e8eea942e02a5562c2391e62fd1e5cfc154dda
Author: Shea Levy <[email protected]>
Date: 2015-11-27 (Fri, 27 Nov 2015)
Changed paths:
A pkgs/development/idris-modules/with-packages-wrapper.nix
Log Message:
-----------
Add with-packages wrapper for idris
Commit: 5898c2060433d803865df3a9af4408d0443de8b8
https://github.com/NixOS/nixpkgs/commit/5898c2060433d803865df3a9af4408d0443de8b8
Author: Shea Levy <[email protected]>
Date: 2015-11-27 (Fri, 27 Nov 2015)
Changed paths:
A pkgs/development/idris-modules/default.nix
M pkgs/top-level/all-packages.nix
Log Message:
-----------
Add idrisPackages to all-packages.nix
Commit: efbee054fd2dca2b14c729cf73aca7246c56d9f2
https://github.com/NixOS/nixpkgs/commit/efbee054fd2dca2b14c729cf73aca7246c56d9f2
Author: Shea Levy <[email protected]>
Date: 2015-11-27 (Fri, 27 Nov 2015)
Changed paths:
A pkgs/development/idris-modules/build-builtin-package.nix
A pkgs/development/idris-modules/build-idris-package.nix
M pkgs/development/idris-modules/default.nix
M pkgs/development/idris-modules/with-packages-wrapper.nix
Log Message:
-----------
Add builtin idris packages to idrisPackages
Commit: a5ca796f557f74e23328c8892447b0606d333f8d
https://github.com/NixOS/nixpkgs/commit/a5ca796f557f74e23328c8892447b0606d333f8d
Author: Shea Levy <[email protected]>
Date: 2015-11-27 (Fri, 27 Nov 2015)
Changed paths:
M pkgs/development/idris-modules/build-builtin-package.nix
M pkgs/development/idris-modules/default.nix
R pkgs/development/idris-modules/with-packages-wrapper.nix
A pkgs/development/idris-modules/with-packages.nix
Log Message:
-----------
idris-modules: Read the filesystem to populate package list
Commit: a01c7b5a1525d333c29a05e61bcb249c934ccbf6
https://github.com/NixOS/nixpkgs/commit/a01c7b5a1525d333c29a05e61bcb249c934ccbf6
Author: Shea Levy <[email protected]>
Date: 2015-11-27 (Fri, 27 Nov 2015)
Changed paths:
M pkgs/development/idris-modules/default.nix
Log Message:
-----------
idris-modules: Filter out default.nix
Commit: 0dce60b34d8fefa02904debc9e6d427a6cb7d459
https://github.com/NixOS/nixpkgs/commit/0dce60b34d8fefa02904debc9e6d427a6cb7d459
Author: Shea Levy <[email protected]>
Date: 2015-11-27 (Fri, 27 Nov 2015)
Changed paths:
M pkgs/development/idris-modules/build-idris-package.nix
A pkgs/development/idris-modules/wl-pprint.nix
Log Message:
-----------
Add wl-pprint Idris package.
Commit: 0f90c9dbc1a42430883ab31853ba25e9d9ec26a5
https://github.com/NixOS/nixpkgs/commit/0f90c9dbc1a42430883ab31853ba25e9d9ec26a5
Author: Shea Levy <[email protected]>
Date: 2015-11-27 (Fri, 27 Nov 2015)
Changed paths:
M pkgs/development/idris-modules/build-builtin-package.nix
M pkgs/development/idris-modules/build-idris-package.nix
M pkgs/development/idris-modules/default.nix
M pkgs/development/idris-modules/with-packages.nix
M pkgs/development/idris-modules/wl-pprint.nix
M pkgs/top-level/all-packages.nix
Log Message:
-----------
idris-modules: documentation
Commit: 9562549ff25033a8ef1ff3906079ec874bb5c67b
https://github.com/NixOS/nixpkgs/commit/9562549ff25033a8ef1ff3906079ec874bb5c67b
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
Log Message:
-----------
idris-modules: Add docs
Commit: f7c2cd33479ce2489e2b47a9a91e453aaf25a4d4
https://github.com/NixOS/nixpkgs/commit/f7c2cd33479ce2489e2b47a9a91e453aaf25a4d4
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'
Compare: https://github.com/NixOS/nixpkgs/compare/a8abf054eefa...f7c2cd33479c_______________________________________________
nix-commits mailing list
[email protected]
http://lists.science.uu.nl/mailman/listinfo/nix-commits
