{
  "id": "acl2",
  "name": "ACL2",
  "homepage": "https://acl2.org/",
  "description": "ACL2 is a logic and programming language in which you can model computer systems, together with a tool to help you prove properties of those models.",
  "executables": [
    "acl2"
  ],
  "dotfiles": {
    "paths": [
      "~/acl2-customization.lsp",
      "~/acl2-customization.lisp",
      "~/acl2-init.lsp"
    ],
    "secret": []
  }
}