The package mathcomp-real-closed 2.0.2-1 has been removed from kali-dev. -- More information about mathcomp-real-closed: https://pkg.kali.org/pkg/mathcomp-real-closed
