rpms / frama-c

Clone
Source Code
GIT

909c0a9 Update to Titanium 22.0. Add %check script.

Authored and Committed by jjames 3 years ago
raw patch tree parent
4 files changed. 66 lines added. 47 lines removed.
.gitignore
file modified
+1 -0
frama-c-gui.appdata.xml
file modified
+11 -11
frama-c.spec
file modified
+42 -25
sources
file modified
+12 -11 
    Update to Titanium 22.0.  Add %check script.
  • Build failed
    failure
    Built as frama-c-22.0-1.fc34
    3 years ago
file modified
+1 -0
file modified
+11 -11
file modified
+42 -25
file modified
+12 -11
Powered by Pagure 5.13.3
Documentation • File an Issue • About this Instance • SSH Hostkey/Fingerprint
© Red Hat, Inc. and others.