Branch: refs/heads/master
Home: https://github.com/NixOS/nixpkgs
Commit: 200d5c0c99fdf64d30b5730e9feec44894bd9196
https://github.com/NixOS/nixpkgs/commit/200d5c0c99fdf64d30b5730e9feec44894bd9196
Author: Valentin Robert <valentin.robert...@gmail.com>
Date: 2017-05-25 (Thu, 25 May 2017)
Changed paths:
A pkgs/applications/editors/emacs-modes/proofgeneral/pg.patch
Log Message:
-----------
proofgeneral: revert needed deleted file
Commit: dd2b1744ba36ab8d5b352cdac9c98a5e1eb71e8f
https://github.com/NixOS/nixpkgs/commit/dd2b1744ba36ab8d5b352cdac9c98a5e1eb71e8f
Author: Gabriel Ebner <geb...@gebner.org>
Date: 2017-05-25 (Thu, 25 May 2017)
Changed paths:
A pkgs/applications/editors/emacs-modes/proofgeneral/pg.patch
Log Message:
-----------
Merge pull request #26095 from Ptival/proofgeneral-fix
proofgeneral: revert bad modification from previous commit
Compare: https://github.com/NixOS/nixpkgs/compare/80918692e1d8...dd2b1744ba36_______________________________________________
nix-commits mailing list
nix-comm...@lists.science.uu.nl
https://mailman.science.uu.nl/mailman/listinfo/nix-commits
