Information for file /usr/lib/gap/src/gmpints.h
Name | /usr/lib/gap/src/gmpints.h |
---|---|
Digest (sha256) | 86878bf6bc0fe380b01107e29d3b1381608fa6c0f5bf443cb48abfeb19dbadff |
Size | 8.81 KB |
Modification time | Fri, 27 Jul 2018 14:31:27 UTC |
User | root |
Group | root |
Mode | -rw-r--r-- |
Flags | |
RPM | gap-devel-4.8.8-4.fc29.riscv64.rpm |