diff options
author | Karn Kallio <kkallio@skami.org> | 2014-02-03 09:58:48 -0430 |
---|---|---|
committer | Peter Simons <simons@cryp.to> | 2014-02-03 18:26:20 +0100 |
commit | 26ea10a7756bfbc76a812a38dfa4e12fe0fbde83 (patch) | |
tree | dabbfd45e0f081bf9e08ba18a8f8013de4e6d6fd | |
parent | 8677b19c9da2ab43537ca5cb45e38af1c996215a (diff) | |
download | nixlib-26ea10a7756bfbc76a812a38dfa4e12fe0fbde83.tar nixlib-26ea10a7756bfbc76a812a38dfa4e12fe0fbde83.tar.gz nixlib-26ea10a7756bfbc76a812a38dfa4e12fe0fbde83.tar.bz2 nixlib-26ea10a7756bfbc76a812a38dfa4e12fe0fbde83.tar.lz nixlib-26ea10a7756bfbc76a812a38dfa4e12fe0fbde83.tar.xz nixlib-26ea10a7756bfbc76a812a38dfa4e12fe0fbde83.tar.zst nixlib-26ea10a7756bfbc76a812a38dfa4e12fe0fbde83.zip |
proofgeneral: fix build with earlier version of texinfo.
-rw-r--r-- | pkgs/top-level/all-packages.nix | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/pkgs/top-level/all-packages.nix b/pkgs/top-level/all-packages.nix index a204e0bf6a73..4d1a6dadbb70 100644 --- a/pkgs/top-level/all-packages.nix +++ b/pkgs/top-level/all-packages.nix @@ -7738,6 +7738,7 @@ let prologMode = callPackage ../applications/editors/emacs-modes/prolog { }; proofgeneral = callPackage ../applications/editors/emacs-modes/proofgeneral { + texinfo = texinfo4 ; texLive = pkgs.texLiveAggregationFun { paths = [ pkgs.texLive pkgs.texLiveCMSuper ]; }; |