The package php-doctrine-instantiator 1.3.1-1 has been added to kali-rolling. It has been imported from Debian: https://tracker.debian.org/pkg/php-doctrine-instantiator -- More information about php-doctrine-instantiator: http://pkg.kali.org/pkg/php-doctrine-instantiator