Thu, 28 Nov 2024 02:58:48 UTC | login

Information for file /usr/include/flint/flintxx/mp.h

Name/usr/include/flint/flintxx/mp.h
Digest (sha256)f1162012840e52581325e0ce7a94d6501909129cd876ec87738225d884e86a2f
Size4.68 KB
Modification timeTue, 11 Dec 2018 08:13:24 UTC
Userroot
Grouproot
Mode-rw-r--r--
Flags
RPMflint-devel-2.5.2-24.fc30.riscv64.rpm