Information for file zenon-tptp-ReadMe
Name | zenon-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 | |
RPM | zenon-0.8.5-28.fc41.src.rpm |