Fri, 13 Dec 2024 16:09:39 UTC | login

Information for file /usr/include/clipsmm-0.3/clipsmm/clipsmm-config.h

Name/usr/include/clipsmm-0.3/clipsmm/clipsmm-config.h
Digest (sha256)bf5a43c783bcaddb4f418bcdfc7354662af2a9cc7b7f17f87d3984e5d0f56929
Size3.47 KB
Modification timeTue, 15 Nov 2022 10:36:53 UTC
Userroot
Grouproot
Mode-rw-r--r--
Flags
RPMclipsmm-devel-0.3.5-24.fc37.riscv64.rpm