Information for file /usr/bin/presburger_transduction
| Name | /usr/bin/presburger_transduction |
|---|---|
| Digest (sha256) | cbcfeb2819a770a616d60f247ec7b90640cf4d7eed8f9dce1142d44a67c4da77 |
| Size | 7.97 KB |
| Modification time | Wed, 14 Mar 2018 00:52:47 UTC |
| User | root |
| Group | root |
| Mode | -rwxr-xr-x |
| Flags | |
| RPM | mona-examples-1.4r17-4.fc28.noarch.rpm |
