Information for file /usr/lib/gap/bin/riscv64-redhat-linux-gnu-default64-kv3/extern/gmp
Name | /usr/lib/gap/bin/riscv64-redhat-linux-gnu-default64-kv3/extern/gmp |
---|---|
Digest (sha256) | |
Size | 0.00 B |
Modification time | Sat, 03 Aug 2019 06:12:04 UTC |
User | root |
Group | root |
Mode | drwxr-xr-x |
Flags | |
RPM | gap-devel-4.10.2-2.fc31.riscv64.rpm |