The package cl-modlisp 0.6-7.2 has been added to kali-rolling. It has been imported from Debian: https://tracker.debian.org/pkg/cl-modlisp -- More information about cl-modlisp: http://pkg.kali.org/pkg/cl-modlisp