The package yosys 0.52-2 has been removed from kali-dev. -- More information about yosys: https://pkg.kali.org/pkg/yosys
