Fri, 22 Nov 2024 21:55:47 UTC | login

Information for file /usr/share/man/man1/yosys-smtbmc.1.gz

Name/usr/share/man/man1/yosys-smtbmc.1.gz
Digest (sha256)0206ec8f4f402676d798a640ade165d1fbabc7453306d5ac1c1f3640a622dbc2
Size652.00 B
Modification timeThu, 08 Aug 2024 00:00:00 UTC
Userroot
Grouproot
Mode-rw-r--r--
Flags documentation
RPMyosys-0.44-1.20240808git77b2ae2.fc41.riscv64.rpm