Information for file /usr/lib64/libflint.so.19.0.0
Name | /usr/lib64/libflint.so.19.0.0 |
---|---|
Digest (sha256) | 4d8ae9e8b9c041af2a1429d2f32a476a5361918c23590542c23f6ae294b4e30f |
Size | 9.49 MB |
Modification time | Tue, 19 Mar 2024 00:00:00 UTC |
User | root |
Group | root |
Mode | -rwxr-xr-x |
Flags | |
RPM | flint-3.1.2-1.fc40.riscv64.rpm |