Sat, 09 Nov 2024 22:27:01 UTC | login

Information for file /usr/bin/presburger_transduction

Name/usr/bin/presburger_transduction
Digest (sha256)35df51890cc399a315d0189c516dd13718a291b5cff229a862d9146ed99f3af9
Size8.30 KB
Modification timeFri, 14 Aug 2020 14:45:50 UTC
Userroot
Grouproot
Mode-rwxr-xr-x
Flags
RPMmona-examples-1.4r18-2.fc33.noarch.rpm