Information for file /usr/bin/frama-c-ptests

Name/usr/bin/frama-c-ptests
Digest (sha256)14e1cc208a4acba8cb2927df7896afe987cbfe7140a6e3cc153881fdfb05d91e
Size3.20 MB
Modification timeWed, 02 Apr 2025 00:00:00 UTC
Userroot
Grouproot
Mode-rwxr-xr-x
Flags
RPMframa-c-30.0-6.rvre0.fc42.riscv64.rpm