Wed, 14 Apr 2021 05:27:54 UTC

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

Name/usr/share/man/man1/yosys-smtbmc.1.gz
Digest (sha256)2412e6689150428522a5e2085ecfcb0f71c3124cf1320c34560761271578b34b
Size650
Modification timeThu, 23 Apr 2020 20:53:49 UTC
Userroot
Grouproot
Mode-rw-r--r--
Flags documentation
RPMyosys-0.9-4.fc33.aarch64.rpm