Wed, 11 Dec 2024 18:38:49 UTC | login

Information for file /usr/include/flint/flintxx

Name/usr/include/flint/flintxx
Digest (sha256)
Size0.00 B
Modification timeTue, 03 Dec 2019 07:51:15 UTC
Userroot
Grouproot
Modedrwxr-xr-x
Flags
RPMflint-devel-2.5.2-29.fc32.riscv64.rpm