Information for file /usr/share/doc/frama-c/README.dive.md

Name/usr/share/doc/frama-c/README.dive.md
Digest (sha256)3b2f0e02ae5e9c97b7315b468390a4a3ae3152ad0cdf3c7be7218716c50c5363
Size655.00 B
Modification timeThu, 05 Dec 2024 00:00:00 UTC
Userroot
Grouproot
Mode-rw-r--r--
Flags documentation
RPMframa-c-doc-30.0-6.rvre0.fc42.noarch.rpm