Branch: refs/heads/master
Home: https://github.com/NixOS/nixpkgs
Commit: 0cf6e55a701a460ac6b28850cd16641b707d3ba8
https://github.com/NixOS/nixpkgs/commit/0cf6e55a701a460ac6b28850cd16641b707d3ba8
Author: John Wiegley <[email protected]>
Date: 2014-06-20 (Fri, 20 Jun 2014)
Changed paths:
A pkgs/applications/editors/emacs-modes/proofgeneral/4.2.nix
A pkgs/applications/editors/emacs-modes/proofgeneral/4.3pre.nix
M pkgs/top-level/all-packages.nix
Log Message:
-----------
proofgeneral_4_3_pre: Add expression needed for current prooftree
Commit: 073933101e7aa47eb8756dc0b4385bd46a436c70
https://github.com/NixOS/nixpkgs/commit/073933101e7aa47eb8756dc0b4385bd46a436c70
Author: John Wiegley <[email protected]>
Date: 2014-06-20 (Fri, 20 Jun 2014)
Changed paths:
R pkgs/applications/editors/emacs-modes/proofgeneral/default.nix
Log Message:
-----------
proofgeneral: Delete default.nix for proofgeneral
Commit: 3b267d77a8fae04fa2cb1bad1da5461448cbcfaa
https://github.com/NixOS/nixpkgs/commit/3b267d77a8fae04fa2cb1bad1da5461448cbcfaa
Author: John Wiegley <[email protected]>
Date: 2014-06-21 (Sat, 21 Jun 2014)
Changed paths:
A pkgs/applications/editors/emacs-modes/proofgeneral/4.2.nix
A pkgs/applications/editors/emacs-modes/proofgeneral/4.3pre.nix
R pkgs/applications/editors/emacs-modes/proofgeneral/default.nix
M pkgs/top-level/all-packages.nix
Log Message:
-----------
Merge pull request #3031 from jwiegley/proofgeneral
proofgeneral_4_3_pre: Add expression needed for current prooftree
Compare: https://github.com/NixOS/nixpkgs/compare/476700d56f25...3b267d77a8fa_______________________________________________
nix-commits mailing list
[email protected]
http://lists.science.uu.nl/mailman/listinfo/nix-commits
