Sun, 26 Jan 2020 04:52:10 UTC

Information for file frama-c-why3.patch

Nameframa-c-why3.patch
Digest (sha256)363d0f9586f102c9fdebf30d61414656c557c4cb3429052d1844b5867c9188bb
Size5725
Modification timeMon, 22 Jun 2015 22:07:31 UTC
Usermockbuild
Groupmockbuild
Mode-rw-r--r--
Flags
RPMframa-c-1.10-24.fc22.src.rpm