Error

two or more packages specified (elpa-acl2 unknown)