diff options
| author | Shea Levy <shea@shealevy.com> | 2016-09-05 11:43:10 -0400 |
|---|---|---|
| committer | Shea Levy <shea@shealevy.com> | 2016-09-05 11:43:10 -0400 |
| commit | d1154edf441411bae1363ddb1eb5c7ddd379642d (patch) | |
| tree | 93d8f21a0125a0c6782ae5085417d0f95f0b12f0 /pkgs/applications | |
| parent | 1a5bb68696c2bfb3a2661d9f2096030b0da0bccc (diff) | |
| download | nixlib-d1154edf441411bae1363ddb1eb5c7ddd379642d.tar nixlib-d1154edf441411bae1363ddb1eb5c7ddd379642d.tar.gz nixlib-d1154edf441411bae1363ddb1eb5c7ddd379642d.tar.bz2 nixlib-d1154edf441411bae1363ddb1eb5c7ddd379642d.tar.lz nixlib-d1154edf441411bae1363ddb1eb5c7ddd379642d.tar.xz nixlib-d1154edf441411bae1363ddb1eb5c7ddd379642d.tar.zst nixlib-d1154edf441411bae1363ddb1eb5c7ddd379642d.zip | |
proofgeneral_HEAD: bump
Diffstat (limited to 'pkgs/applications')
| -rw-r--r-- | pkgs/applications/editors/emacs-modes/proofgeneral/HEAD.nix | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/pkgs/applications/editors/emacs-modes/proofgeneral/HEAD.nix b/pkgs/applications/editors/emacs-modes/proofgeneral/HEAD.nix index d119117caebf..a6ccd4f631d5 100644 --- a/pkgs/applications/editors/emacs-modes/proofgeneral/HEAD.nix +++ b/pkgs/applications/editors/emacs-modes/proofgeneral/HEAD.nix @@ -5,8 +5,8 @@ stdenv.mkDerivation (rec { src = fetchgit { url = "https://github.com/ProofGeneral/PG.git"; - rev = "16991280fb09743ae7320aef77f6a166afb907d7"; - sha256 = "1yakjxfz6a09m7lrxff04sj1717gpmhq2bsibd5f9lkp6z0w2i0q"; + rev = "64ca55b1593fff8cfffab89c51d7e92c1a68dc27"; + sha256 = "1gz13fagxf0w2zgp7qd0w328qiv97295jwq7ra8vj61pdfi8xklj"; }; buildInputs = [ emacs texinfo perl which ] ++ stdenv.lib.optional enableDoc texLive; |