Information for file /usr/include/gap/gmpints.h
| Name | /usr/include/gap/gmpints.h |
|---|---|
| Digest (sha256) | 7c32be3c48e216c5e9c106dd8d3a92f15e588142823ada7f9615d50367c0842c |
| Size | 9.47 KB |
| Modification time | Sat, 04 Aug 2018 21:58:17 UTC |
| User | root |
| Group | root |
| Mode | -rw-r--r-- |
| Flags | |
| RPM | libgap-devel-4.8.6-8.fc29.riscv64.rpm |
