../ yosys_0.42_aarch64.deb 07-Jun-2024 12:36 3848660 yosys_0.42_arm.deb 07-Jun-2024 12:36 3916928 yosys_0.42_i686.deb 07-Jun-2024 12:36 4245932 yosys_0.42_x86_64.deb 07-Jun-2024 12:36 4402500