The package acl2 8.0dfsg-1 has been removed from kali-rolling. -- More information about acl2: http://pkg.kali.org/pkg/acl2