Branch: refs/heads/master
Home: https://github.com/NixOS/nixpkgs
Commit: 7b805bd0b0663613b89c5b9a2f037acdcf46b121
https://github.com/NixOS/nixpkgs/commit/7b805bd0b0663613b89c5b9a2f037acdcf46b121
Author: Vincent Laporte <vincent.lapo...@gmail.com>
Date: 2016-10-05 (Wed, 05 Oct 2016)
Changed paths:
R pkgs/applications/editors/emacs-modes/proofgeneral/4.2.nix
A pkgs/applications/editors/emacs-modes/proofgeneral/4.4.nix
M pkgs/top-level/all-packages.nix
Log Message:
-----------
ProofGeneral: 4.2 -> 4.4
Commit: 4e60f99b838d8d72a67ca5e990e79cad76772450
https://github.com/NixOS/nixpkgs/commit/4e60f99b838d8d72a67ca5e990e79cad76772450
Author: Vincent Laporte <vincent.lapo...@gmail.com>
Date: 2016-10-07 (Fri, 07 Oct 2016)
Changed paths:
R pkgs/applications/editors/emacs-modes/proofgeneral/4.3pre.nix
M pkgs/top-level/all-packages.nix
Log Message:
-----------
ProofGeneral: remove legacy version 4.3pre
Commit: 034ba88850fb36d93ba42b2b1ddef6f2b16bd86e
https://github.com/NixOS/nixpkgs/commit/034ba88850fb36d93ba42b2b1ddef6f2b16bd86e
Author: Graham Christensen <gra...@grahamc.com>
Date: 2016-10-08 (Sat, 08 Oct 2016)
Changed paths:
R pkgs/applications/editors/emacs-modes/proofgeneral/4.2.nix
R pkgs/applications/editors/emacs-modes/proofgeneral/4.3pre.nix
A pkgs/applications/editors/emacs-modes/proofgeneral/4.4.nix
M pkgs/top-level/all-packages.nix
Log Message:
-----------
Merge pull request #19267 from vbgl/proofgeneral-4.4
ProofGeneral: 4.2 -> 4.4
Compare: https://github.com/NixOS/nixpkgs/compare/a72dd11b3e79...034ba88850fb_______________________________________________
nix-commits mailing list
nix-comm...@lists.science.uu.nl
http://lists.science.uu.nl/mailman/listinfo/nix-commits
