Thu, 12 Dec 2024 20:33:52 UTC | login

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

Name/usr/include/clipsmm-0.3/clipsmm/environment.h
Digest (sha256)981cc038e86e7ea6fe1091f2b01253aaa574a74db8972e1927c0056b67f908bc
Size71.35 KB
Modification timeTue, 15 Nov 2022 10:36:07 UTC
Userroot
Grouproot
Mode-rw-r--r--
Flags
RPMclipsmm-devel-0.3.5-24.fc37.riscv64.rpm