Fri, 17 Jan 2020 16:07:28 UTC

Information for file frama-c-gui.desktop

Nameframa-c-gui.desktop
Digest (sha256)517433efbdb3030094ae2f125ebf05b5a270ae58fc5ff80a4052223a1e4b44c0
Size184
Modification timeMon, 22 Jun 2015 22:07:31 UTC
Usermockbuild
Groupmockbuild
Mode-rw-r--r--
Flags
RPMframa-c-1.10-24.fc22.src.rpm