The package cabal-debian 4.31-4 has been added to safi. It has been imported from Debian: https://tracker.debian.org/pkg/cabal-debian -- More information about cabal-debian: http://pkg.kali.org/pkg/cabal-debian