The package coq-ext-lib 0.12.1-1 has been removed from kali-rolling. -- More information about coq-ext-lib: https://pkg.kali.org/pkg/coq-ext-lib
