Information for file /usr/bin/dotty
| Name | /usr/bin/dotty |
|---|---|
| Digest (sha256) | 55472a2b0c64b6338aefc7a0c9ddb438d37038f22607bc29b05a4381ed23a7d1 |
| Size | 2.08 KB |
| Modification time | Mon, 11 Sep 2023 12:11:32 CST |
| User | root |
| Group | root |
| Mode | -rwxr-xr-x |
| Flags | |
| RPM | graphviz-2.50.0-6.ocs23.x86_64.rpm |
