Wed, 19 Jun 2024 18:21:49 UTC | login

Information for file /usr/include/flint/flintxx

Name/usr/include/flint/flintxx
Digest (sha256)
Size0.00 B
Modification timeTue, 14 Aug 2018 10:34:17 UTC
Userroot
Grouproot
Modedrwxr-xr-x
Flags
RPMflint-devel-2.5.2-23.fc29.riscv64.rpm