diff options
author | Vincent Laporte <Vincent.Laporte@gmail.com> | 2017-11-16 00:01:42 +0000 |
---|---|---|
committer | Vincent Laporte <Vincent.Laporte@gmail.com> | 2017-11-16 00:01:42 +0000 |
commit | 48f9d48a51b862df93c865420103f496da1a94d9 (patch) | |
tree | 2afe08925b4155cef9b3d3d2e27cf7162afdbc55 /pkgs | |
parent | 6ab109a6732cf8a8e7335d50f3ee4db95d1568b7 (diff) | |
download | nixlib-48f9d48a51b862df93c865420103f496da1a94d9.tar nixlib-48f9d48a51b862df93c865420103f496da1a94d9.tar.gz nixlib-48f9d48a51b862df93c865420103f496da1a94d9.tar.bz2 nixlib-48f9d48a51b862df93c865420103f496da1a94d9.tar.lz nixlib-48f9d48a51b862df93c865420103f496da1a94d9.tar.xz nixlib-48f9d48a51b862df93c865420103f496da1a94d9.tar.zst nixlib-48f9d48a51b862df93c865420103f496da1a94d9.zip |
proofgeneral_HEAD: 2017-05-06 -> 2017-11-06
Diffstat (limited to 'pkgs')
-rw-r--r-- | pkgs/applications/editors/emacs-modes/proofgeneral/HEAD.nix | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/pkgs/applications/editors/emacs-modes/proofgeneral/HEAD.nix b/pkgs/applications/editors/emacs-modes/proofgeneral/HEAD.nix index fd580ae9270c..1cdcb9b85544 100644 --- a/pkgs/applications/editors/emacs-modes/proofgeneral/HEAD.nix +++ b/pkgs/applications/editors/emacs-modes/proofgeneral/HEAD.nix @@ -2,13 +2,13 @@ stdenv.mkDerivation (rec { name = "ProofGeneral-unstable-${version}"; - version = "2017-05-06"; + version = "2017-11-06"; src = fetchFromGitHub { owner = "ProofGeneral"; repo = "PG"; - rev = "574b0992e3cb4b7a4ad88400b9a5ab0198a96ca5"; - sha256 = "1c1pgdmy58h78s53g0ga9b5ilbsibz0dr2lk52xgbs3q5m22v5fh"; + rev = "2eab72c33751768c8a6cde36b978ea4a36b91843"; + sha256 = "1l3n48d6d4l5q3wkhdyp8dc6hzdw1ckdzr57dj8rdm78j87vh2cg"; }; buildInputs = [ emacs texinfo perl which ] ++ stdenv.lib.optional enableDoc texLive; |