Information for file /usr/bin/cddexec_gmp
| Name | /usr/bin/cddexec_gmp |
|---|---|
| Digest (sha256) | 71964114641c2d19c3d1e80ce8f250d6725dc1f3f5ff5d3e4730954c867e2743 |
| Size | 15.81 KB |
| Modification time | Thu, 12 Jan 2023 19:20:09 UTC |
| User | root |
| Group | root |
| Mode | -rwxr-xr-x |
| Flags | |
| RPM | cddlib-tools-1:0.94m-5.fc37.riscv64.rpm |
