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