Wed, 29 May 2024 11:42:55 UTC | login

Information for file /usr/bin/dfa_minimize

Name/usr/bin/dfa_minimize
Digest (sha256)8eb1d86bec521276b04790f3dc2e26b2636a972f4a8d2cd99b5d2ab7b8b0968e
Size11.49 KB
Modification timeSat, 24 Nov 2018 14:02:37 UTC
Userroot
Grouproot
Mode-rwxr-xr-x
Flags
RPMjulius-4.4.2.1-4.0.riscv64.fc29.riscv64.rpm