Sun, 10 Nov 2024 02:28:46 UTC | login

Information for file /usr/share/doc/frama-c/frama-c-api/frama-c-alias/Alias/API/index.html

Name/usr/share/doc/frama-c/frama-c-api/frama-c-alias/Alias/API/index.html
Digest (sha256)185347b836246eb1a3851caa4dd1af686daf44a9134b0bbad1fdaa647376657a
Size23.35 KB
Modification timeThu, 06 Jun 2024 00:00:00 UTC
Userroot
Grouproot
Mode-rw-r--r--
Flags documentation
RPMframa-c-doc-29.0-6.fc41.noarch.rpm