rpms / frama-c

Clone
Source Code
GIT

671948a Rebuild for coq 8.13.0.

Authored and Committed by jjames 3 years ago
raw patch tree parent
2 files changed. 65 lines added. 49 lines removed.
frama-c-gui.metainfo.xmlframa-c-gui.appdata.xml
file renamed
+50 -44
frama-c.spec
file modified
+15 -5 
    Rebuild for coq 8.13.0.
    
    - Update metainfo and install in metainfodir.
frama-c-gui.metainfo.xml frama-c-gui.appdata.xml
file renamed
+50 -44
file modified
+15 -5
Powered by Pagure 5.14.1
Documentation • File an Issue • About this Instance • SSH Hostkey/Fingerprint
© Red Hat, Inc. and others.