Information for file /usr/lib64/libflint.so.13.5.2
Name | /usr/lib64/libflint.so.13.5.2 |
---|---|
Digest (sha256) | 8fd043ae8db550e0d7eedac8ed85a36b745aa86923045523b0bd7688dc3487f0 |
Size | 3.09 MB |
Modification time | Fri, 26 Jul 2019 07:34:52 UTC |
User | root |
Group | root |
Mode | -rwxr-xr-x |
Flags | |
RPM | flint-2.5.2-26.fc31.riscv64.rpm |