Name | /usr/lib64/gnatcoll-gmp/gnatcoll-gmp-lib.ali |
---|---|
Digest (sha256) | 30a7560ddaa1701b1920078d47ec2405e1e3b45091634e86d3df7fac35af296f |
Size | 15.99 KB |
Modification time | Thu, 18 Jul 2024 08:00:00 CST |
User | root |
Group | root |
Mode | -r--r--r-- |
Flags | |
RPM | gnatcoll-gmp-devel-2:24.0.0-3.fc41.riscv64.rpm |