public/nixpkgs
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity
50,514 Commits 1 Branch 0 Tags
Commit Graph

1 Commits

Author SHA1 Message Date
Vincent Laporte
94828070ed ProofGeneral: makes the dependency on TeXLive optional 
And fixes the default value of $PGHOME
 2014-09-28 14:03:15 +01:00