Information for file /usr/bin/yosys-smtbmc
| Name | /usr/bin/yosys-smtbmc |
|---|---|
| Digest (sha256) | aa463a9d008b6f5fba58512f3226d52f3647e250bad8444e6c2b3f540341b1b9 |
| Size | 53733 |
| Modification time | Thu, 23 Apr 2020 20:46:34 UTC |
| User | root |
| Group | root |
| Mode | -rwxr-xr-x |
| Flags | |
| RPM | yosys-0.9-4.fc33.s390x.rpm |
