Information for file /usr/src/debug/yosys-0.22-1.20221006gitc4a52b1.fc37.riscv64/frontends/verific/verific.cc
Name | /usr/src/debug/yosys-0.22-1.20221006gitc4a52b1.fc37.riscv64/frontends/verific/verific.cc |
---|---|
Digest (sha256) | 1bc952b6a6eca48739a29302ac88674c79ae9384b26758767ece40aa19d76237 |
Size | 109.75 KB |
Modification time | Thu, 06 Oct 2022 00:24:43 UTC |
User | root |
Group | root |
Mode | -rw-r--r-- |
Flags | |
RPM | yosys-debugsource-0.22-1.20221006gitc4a52b1.fc37.riscv64.rpm |