
(define-package "acl2" "@VR@"
  "Emacs mode for running Acl2."
  '((emacs "25.1"))
  :keywords
  '("acl2"))
