nixpkgs-suyu/pkgs/misc/tex/lkproof
..
default.nix