Fri, 22 Nov 2024 21:31:19 UTC | login

Information for file /usr/bin/yosys-smtbmc

Name/usr/bin/yosys-smtbmc
Digest (sha256)48cd157a416e953e983e0756304c19a2ca4c0e116d6281fe5088da4a7934b3f7
Size72.11 KB
Modification timeThu, 08 Aug 2024 00:00:00 UTC
Userroot
Grouproot
Mode-rwxr-xr-x
Flags
RPMyosys-0.44-1.20240808git77b2ae2.fc41.riscv64.rpm