Branch: refs/heads/master
Home: https://github.com/NixOS/nixpkgs
Commit: fb0410c208b7669327940f7eaabe2e4865c4f198
https://github.com/NixOS/nixpkgs/commit/fb0410c208b7669327940f7eaabe2e4865c4f198
Author: Sophie Taylor <[email protected]>
Date: 2017-05-11 (Thu, 11 May 2017)
Changed paths:
M pkgs/applications/editors/emacs-modes/proofgeneral/HEAD.nix
Log Message:
-----------
proofgeneral: 2017-03-13 -> 2017-05-06 (#25695)
_______________________________________________
nix-commits mailing list
[email protected]
https://mailman.science.uu.nl/mailman/listinfo/nix-commits
