Information for file /usr/share/doc/zenon/examples/tptp-ReadMe
Name | /usr/share/doc/zenon/examples/tptp-ReadMe |
---|---|
Digest (sha256) | 5f122d9a98c088ad46d2a4e09c25e7f2ce35d36e3046a9fcaa00b874e0a6efca |
Size | 7.59 KB |
Modification time | Sat, 20 Jul 2024 00:00:00 UTC |
User | root |
Group | root |
Mode | -rw-r--r-- |
Flags |
documentation |
RPM | zenon-0.8.5-28.fc41.riscv64.rpm |