The package coin3 4.0.0~CMake~6f54f1602475+ds1-1 has been added to kali-rolling. It has been imported from Debian: https://tracker.debian.org/pkg/coin3 -- More information about coin3: http://pkg.kali.org/pkg/coin3
