instructions in [[HDL_workflow]] for installing nmigen,
ieee754fpu, soc and nmutil.
-# Upgrading to latest yosys and nmigen in the chroot
+# Upgrading to latest yosys in the chroot
yosys in debian may not be enough to work with nmigen,
therefore it's probably a good idea to upgrade.