diff options
| author | Jörg Thalheim <Mic92@users.noreply.github.com> | 2018-02-09 08:45:09 +0000 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2018-02-09 08:45:09 +0000 |
| commit | 62f7640ebee8d4092753a04589f0c25413294052 (patch) | |
| tree | 69df3b6fc2872d82d6a20e37abfcb34cfb8dfaae /pkgs | |
| parent | 09d04f6b6fa9ee3c4189a105277f52501f1bad8c (diff) | |
| parent | 8cc3fcdfd485b96f7fcf83c45f1919b54e5eb838 (diff) | |
| download | nixlib-62f7640ebee8d4092753a04589f0c25413294052.tar nixlib-62f7640ebee8d4092753a04589f0c25413294052.tar.gz nixlib-62f7640ebee8d4092753a04589f0c25413294052.tar.bz2 nixlib-62f7640ebee8d4092753a04589f0c25413294052.tar.lz nixlib-62f7640ebee8d4092753a04589f0c25413294052.tar.xz nixlib-62f7640ebee8d4092753a04589f0c25413294052.tar.zst nixlib-62f7640ebee8d4092753a04589f0c25413294052.zip | |
Merge pull request #34727 from vbgl/pg-HEAD-20180130
proofgeneral_HEAD: 2017-11-06 -> 2018-01-30
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 1cdcb9b85544..de72b24f87ac 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-11-06"; + version = "2018-01-30"; src = fetchFromGitHub { owner = "ProofGeneral"; repo = "PG"; - rev = "2eab72c33751768c8a6cde36b978ea4a36b91843"; - sha256 = "1l3n48d6d4l5q3wkhdyp8dc6hzdw1ckdzr57dj8rdm78j87vh2cg"; + rev = "945cada601c5729edd16fcc989a3969c8b34d20a"; + sha256 = "1zjmbhq6c8g8b93nnsvr5pxx6mlcndb0fz152b2h80vfh9663cn8"; }; buildInputs = [ emacs texinfo perl which ] ++ stdenv.lib.optional enableDoc texLive; |