The package cl-asdf 2:3.3.6-1 has been added to kali-rolling. It has been imported from Debian: https://tracker.debian.org/pkg/cl-asdf -- More information about cl-asdf: http://pkg.kali.org/pkg/cl-asdf