Information for file /usr/bin/dotty
| Name | /usr/bin/dotty |
|---|---|
| Digest (sha256) | 7b2df78b98930e0d39590d8b2266efe0d78da21f8f4bb962542576f4d62c1013 |
| Size | 2.09 KB |
| Modification time | Tue, 19 Sep 2023 14:05:13 CST |
| User | root |
| Group | root |
| Mode | -rwxr-xr-x |
| Flags | |
| RPM | graphviz-2.50.0-7.ocs23.x86_64.rpm |
