Information for file /usr/bin/presburger_transduction
Name | /usr/bin/presburger_transduction |
---|---|
Digest (sha256) | f0470a72de9a982ea761ced7935710832f48ecdf02acb6c72e6fc83aecd7495a |
Size | 6.50 KB |
Modification time | Thu, 19 Jan 2023 00:00:00 UTC |
User | root |
Group | root |
Mode | -rwxr-xr-x |
Flags | |
RPM | mona-examples-1.4r18-8.fc38.noarch.rpm |