Branch: refs/heads/master
Home: https://github.com/NixOS/nixpkgs
Commit: eaef55f69976f84dc16297f9f011984eb20c8b26
https://github.com/NixOS/nixpkgs/commit/eaef55f69976f84dc16297f9f011984eb20c8b26
Author: Valentin Robert <valentin.robert...@gmail.com>
Date: 2017-05-18 (Thu, 18 May 2017)
Changed paths:
M pkgs/applications/editors/emacs-modes/proofgeneral/HEAD.nix
R pkgs/applications/editors/emacs-modes/proofgeneral/pg.patch
Log Message:
-----------
proofgeneral_HEAD: fix for files removed upstream
Commit: 3ba63d0b05ddc4f92626a9169cc7dd8b22d12fc9
https://github.com/NixOS/nixpkgs/commit/3ba63d0b05ddc4f92626a9169cc7dd8b22d12fc9
Author: Joachim F <joach...@users.noreply.github.com>
Date: 2017-05-21 (Sun, 21 May 2017)
Changed paths:
M pkgs/applications/editors/emacs-modes/proofgeneral/HEAD.nix
R pkgs/applications/editors/emacs-modes/proofgeneral/pg.patch
Log Message:
-----------
Merge pull request #25905 from Ptival/proofgeneral-head
proofgeneral_HEAD: fix
Compare: https://github.com/NixOS/nixpkgs/compare/1bfafdfe65df...3ba63d0b05dd_______________________________________________
nix-commits mailing list
nix-comm...@lists.science.uu.nl
https://mailman.science.uu.nl/mailman/listinfo/nix-commits
