diff options
author | Sophie Taylor <sophie@traumapony.org> | 2017-05-11 16:36:00 +1000 |
---|---|---|
committer | Jörg Thalheim <Mic92@users.noreply.github.com> | 2017-05-11 07:36:00 +0100 |
commit | fb0410c208b7669327940f7eaabe2e4865c4f198 (patch) | |
tree | f42b2f21759f345533817c3fdbcf020db8aba05d /pkgs/applications/editors/emacs-modes | |
parent | ea031fe7c15d964c9d9789d5718561064bc43c2a (diff) | |
download | nixlib-fb0410c208b7669327940f7eaabe2e4865c4f198.tar nixlib-fb0410c208b7669327940f7eaabe2e4865c4f198.tar.gz nixlib-fb0410c208b7669327940f7eaabe2e4865c4f198.tar.bz2 nixlib-fb0410c208b7669327940f7eaabe2e4865c4f198.tar.lz nixlib-fb0410c208b7669327940f7eaabe2e4865c4f198.tar.xz nixlib-fb0410c208b7669327940f7eaabe2e4865c4f198.tar.zst nixlib-fb0410c208b7669327940f7eaabe2e4865c4f198.zip |
proofgeneral: 2017-03-13 -> 2017-05-06 (#25695)
Diffstat (limited to 'pkgs/applications/editors/emacs-modes')
-rw-r--r-- | pkgs/applications/editors/emacs-modes/proofgeneral/HEAD.nix | 13 |
1 files changed, 7 insertions, 6 deletions
diff --git a/pkgs/applications/editors/emacs-modes/proofgeneral/HEAD.nix b/pkgs/applications/editors/emacs-modes/proofgeneral/HEAD.nix index 0f6227a44a38..9e29bb9c4a6e 100644 --- a/pkgs/applications/editors/emacs-modes/proofgeneral/HEAD.nix +++ b/pkgs/applications/editors/emacs-modes/proofgeneral/HEAD.nix @@ -1,13 +1,14 @@ -{ stdenv, fetchgit, emacs, texinfo, texLive, perl, which, automake, enableDoc ? false }: +{ stdenv, fetchFromGitHub, emacs, texinfo, texLive, perl, which, automake, enableDoc ? false }: stdenv.mkDerivation (rec { name = "ProofGeneral-unstable-${version}"; - version = "2017-03-13"; + version = "2017-05-06"; - src = fetchgit { - url = "https://github.com/ProofGeneral/PG.git"; - rev = "62ec846fcaaef8f3ae94302cbef2972f88a0804f"; - sha256 = "0vln1bc884qynbl5yci0dkr6ckz3p46q4jrhxgylcx4w0jkhizhm"; + src = fetchFromGitHub { + owner = "ProofGeneral"; + repo = "PG"; + rev = "574b0992e3cb4b7a4ad88400b9a5ab0198a96ca5"; + sha256 = "1c1pgdmy58h78s53g0ga9b5ilbsibz0dr2lk52xgbs3q5m22v5fh"; }; buildInputs = [ emacs texinfo perl which ] ++ stdenv.lib.optional enableDoc texLive; |