Information for file /usr/include/flint/flintxx/mp.h
Name | /usr/include/flint/flintxx/mp.h |
---|---|
Digest (sha256) | f1162012840e52581325e0ce7a94d6501909129cd876ec87738225d884e86a2f |
Size | 4.68 KB |
Modification time | Tue, 11 Dec 2018 08:13:24 UTC |
User | root |
Group | root |
Mode | -rw-r--r-- |
Flags | |
RPM | flint-devel-2.5.2-24.fc30.riscv64.rpm |