Information for file /usr/bin/presburger_transduction
Name | /usr/bin/presburger_transduction |
---|---|
Digest (sha256) | c73a7ae9b5dbf99ec460d6279d1afa5bd9ea7b5551bd60a0a9683e42a52ef863 |
Size | 8.28 KB |
Modification time | Sun, 29 Mar 2020 01:24:01 UTC |
User | root |
Group | root |
Mode | -rwxr-xr-x |
Flags | |
RPM | mona-examples-1.4r18-1.fc33.noarch.rpm |