Sun, 11 Apr 2021 15:03:28 UTC

Information for file /usr/bin/yosys-smtbmc

Name/usr/bin/yosys-smtbmc
Digest (sha256)aa463a9d008b6f5fba58512f3226d52f3647e250bad8444e6c2b3f540341b1b9
Size53733
Modification timeThu, 23 Apr 2020 20:46:34 UTC
Userroot
Grouproot
Mode-rwxr-xr-x
Flags
RPMyosys-0.9-4.fc33.s390x.rpm