fedora

Information for file frama-c-c23.patch

Nameframa-c-c23.patch
Digest (sha256)fae35ca9f5cca6a3efaea3ef4858fdbfb4a7eb0f33e57e4c8dba936c6d5525d6
Size5.21 KB
Modification timeWed, 02 Apr 2025 00:00:00 UTC
Userroot
Grouproot
Mode-rw-r--r--
Flags
RPMframa-c-30.0-6.rvre0.fc42.src.rpm