GitHub repository: michzappa/nix-acl2s-build
Description: instructions for building acl2s with nix