/pkgs/misc/tex/lkproof/
../
default.nix