JakeHillion/nixpkgs
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity

proofgeneral: use the new texlive

Browse Source 
Supplied the needed fonts so it builds.
This commit is contained in:
Vladimír Čunát 2015-08-28 22:48:49 +02:00
parent c1bcf671dd
commit ba2b706da9
1 changed files with 2 additions and 6 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

8
pkgs/top-level/all-packages.nix
View File

@ -11109,15 +11109,11 @@ let
proofgeneral_4_2 = callPackage ../applications/editors/emacs-modes/proofgeneral/4.2.nix { proofgeneral_4_2 = callPackage ../applications/editors/emacs-modes/proofgeneral/4.2.nix {
texinfo = texinfo4 ; texinfo = texinfo4 ;
texLive = pkgs.texLiveAggregationFun { texLive = texlive.combine { inherit (texlive) scheme-basic cm-super ec; };
paths = [ pkgs.texLive pkgs.texLiveCMSuper ];
};
}; };
proofgeneral_4_3_pre = callPackage ../applications/editors/emacs-modes/proofgeneral/4.3pre.nix { proofgeneral_4_3_pre = callPackage ../applications/editors/emacs-modes/proofgeneral/4.3pre.nix {
texinfo = texinfo4 ; texinfo = texinfo4 ;
texLive = pkgs.texLiveAggregationFun { texLive = texlive.combine { inherit (texlive) scheme-basic cm-super ec; };
paths = [ pkgs.texLive pkgs.texLiveCMSuper ];
};
}; };
proofgeneral = self.proofgeneral_4_2; proofgeneral = self.proofgeneral_4_2;