The package coq-doc 8.6-1 has been removed from kali-dev. -- More information about coq-doc: http://pkg.kali.org/pkg/coq-doc