Branch: refs/heads/master
Home: https://github.com/NixOS/nixpkgs
Commit: a3c26fec3221af2e217bd13c82f035c0a8c0f581
https://github.com/NixOS/nixpkgs/commit/a3c26fec3221af2e217bd13c82f035c0a8c0f581
Author: Anthony Cowley <[email protected]>
Date: 2016-09-23 (Fri, 23 Sep 2016)
Changed paths:
M lib/maintainers.nix
A pkgs/applications/science/logic/redprl/default.nix
M pkgs/top-level/all-packages.nix
Log Message:
-----------
redprl: init at 2016-09-22
Commit: 3e0dcb39551ae8dbe99a8096ef49eb547857a8b1
https://github.com/NixOS/nixpkgs/commit/3e0dcb39551ae8dbe99a8096ef49eb547857a8b1
Author: Joachim F <[email protected]>
Date: 2016-09-24 (Sat, 24 Sep 2016)
Changed paths:
M lib/maintainers.nix
A pkgs/applications/science/logic/redprl/default.nix
M pkgs/top-level/all-packages.nix
Log Message:
-----------
Merge pull request #18866 from acowley/redprl
redprl: init at 2016-09-22
Compare: https://github.com/NixOS/nixpkgs/compare/f0c85376b287...3e0dcb39551a_______________________________________________
nix-commits mailing list
[email protected]
http://lists.science.uu.nl/mailman/listinfo/nix-commits
