../ yakuake-25.08.2-1.fc42.x86_64.rpm 11-Oct-2025 15:33 589660 yosys-0.58-1.20251010git9a12d92.fc42.x86_64.rpm 12-Oct-2025 00:59 6435660 yosys-devel-0.58-1.20251010git9a12d92.fc42.x86_..> 12-Oct-2025 00:59 152852 yosys-doc-0.58-1.20251010git9a12d92.fc42.x86_64..> 12-Oct-2025 00:59 2650797 yosys-share-0.58-1.20251010git9a12d92.fc42.noar..> 12-Oct-2025 00:59 436701