../ yosys_0.40_aarch64.deb 24-Apr-2024 07:11 3841736 yosys_0.40_arm.deb 24-Apr-2024 07:11 3910556 yosys_0.40_i686.deb 24-Apr-2024 07:11 4236940 yosys_0.40_x86_64.deb 24-Apr-2024 07:11 4393728