Sun, 17 Nov 2024 18:23:25 UTC | login

Information for file /usr/include/gecode

Name/usr/include/gecode
Digest (sha256)
Size0.00 B
Modification timeSat, 28 Jul 2018 22:22:09 UTC
Userroot
Grouproot
Modedrwxr-xr-x
Flags
RPMgecode-devel-5.1.0-4.fc29.riscv64.rpm