Sun, 10 Nov 2024 02:47:52 UTC | login

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

Name/usr/bin/frama-c-wtests
Digest (sha256)7f038eca69cd9a4ae8ab66680c93e2b93ae80bbce29b7458f54f402bf2ca697b
Size2.62 MB
Modification timeWed, 17 Jul 2024 00:00:00 UTC
Userroot
Grouproot
Mode-rwxr-xr-x
Flags
RPMframa-c-29.0-6.fc41.riscv64.rpm