Package: yosys Version: 0.52-4 Severity: wishlist There is a new version of yosys available from upstream. The current latest version from <URL: https://github.com/YosysHQ/yosys/tags > is 0.64. Please consider updating yosys to the new upstream version. -- Happy hacking Petter Reinholdtsen