Information for file /usr/share/man/man1/picosat.trace.1.gz
| Name | /usr/share/man/man1/picosat.trace.1.gz |
|---|---|
| Digest (sha256) | c2e37b609a79ba36f828b8185c87e90a5d7dcdce5a3e13f78d6cfbf5b22ba9a5 |
| Size | 34.00 B |
| Modification time | Fri, 21 Jul 2023 00:00:00 UTC |
| User | root |
| Group | root |
| Mode | -rw-r--r-- |
| Flags |
documentation |
| RPM | picosat-965-18.fc40.riscv64.rpm |
