Mon, 24 Jun 2024 02:42:27 UTC | login

Information for file /usr/share/gtk-doc/html/clipsmm-0.3/reference/html/classCLIPS_1_1any_1_1placeholder__inherit__graph.map

Name/usr/share/gtk-doc/html/clipsmm-0.3/reference/html/classCLIPS_1_1any_1_1placeholder__inherit__graph.map
Digest (sha256)01cb8e03cf4fc57536353389ec7e758ac5937216cd44894d68d609d2177e0435
Size255.00 B
Modification timeThu, 19 Jan 2023 00:00:00 UTC
Userroot
Grouproot
Mode-rw-rw-r--
Flags documentation
RPMclipsmm-doc-0.3.5-25.fc38.noarch.rpm