The package coq-simple-io 1.9.0-1 has been removed from kali-dev. -- More information about coq-simple-io: https://pkg.kali.org/pkg/coq-simple-io
