add emacs-acl2 6.3
update to emacs-acl2 6.4