Information for file /usr/bin/dotty
Name | /usr/bin/dotty |
---|---|
Digest (sha256) | d08f232add5f84672ad686b2100b23a65c65db1051b7d53e11c07e1454a1f60c |
Size | 2.04 KB |
Modification time | Tue, 30 May 2023 13:20:45 CST |
User | root |
Group | root |
Mode | -rwxr-xr-x |
Flags | |
RPM | graphviz-2.40.1-44.el8.i686.rpm |