Information for file /usr/include/yosys/kernel/satgen.h
| Name | /usr/include/yosys/kernel/satgen.h |
|---|---|
| Digest (sha256) | cb373e0a3d08ab2c2a1f14c52acfd3f5104b9ddd0877ece1810ec0de87ce90f3 |
| Size | 53368 |
| Modification time | Thu, 23 Apr 2020 20:54:51 UTC |
| User | root |
| Group | root |
| Mode | -rw-r--r-- |
| Flags | |
| RPM | yosys-devel-0.9-4.fc33.armv7hl.rpm |
