Wed, 14 Apr 2021 06:10:47 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:46:34 UTC
Userroot
Grouproot
Mode-rw-r--r--
Flags documentation
RPMyosys-0.9-4.fc33.s390x.rpm