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