update sci-mathematics/acl2-6.3