macports - Revision 154482: /tags/PRE_DESTROOT_TARGET/dports/math/acl2/files

• ..
• patch-Makefile
• patch-acl2-check.lisp
• patch-acl2-init.lisp
• patch-acl2.lisp
• patch-axioms.lisp
• patch-interface-raw.lisp