nixpkgs/pkgs/applications/science/logic/acgtk
..
default.nix
install-emacs-to-site-lisp.patch
use-nix-ocaml-byteflags.patch