nordic-dev.net/nixpkgs
nordic-dev.net/nixpkgs
2
0
Fork 0
mirror of https://github.com/NixOS/nixpkgs.git synced 2024-11-28 18:03:04 +00:00
Code Issues Packages Projects Releases Wiki Activity

proofgeneral: 2017-03-13 -> 2017-05-06 (#25695)

Browse Source
This commit is contained in:
Sophie Taylor 2017-05-11 16:36:00 +10:00 committed by Jörg Thalheim
parent ea031fe7c1
commit fb0410c208
1 changed files with 7 additions and 6 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

13
pkgs/applications/editors/emacs-modes/proofgeneral/HEAD.nix
View File

@ -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;