The package coq-bignums 8.15.0-1 has been removed from kali-rolling. -- More information about coq-bignums: http://pkg.kali.org/pkg/coq-bignums