Commit - rpms/frama-c - 7a42f693387c18bda52931e2bd404becd344bbcf - src.fedoraproject.org

rpms / frama-c

Overview Files Commits Branches Forks Releases

Monitoring status:

Bugzilla Assignee:

Fedora:: jjames
EPEL:: jjames

`7a42f69` Rebuild due to rebuilt flocq and why3.

Authored and Committed by jjames 4 years ago

raw patch tree parent

1 file changed. 4 lines added. 1 lines removed.

    Rebuild due to rebuilt flocq and why3.

Build completed
success

Built as frama-c-19.1-4.fc31
4 years ago

frama-c.spec

file modified

+4 -1

Powered by Pagure 5.13.3

Documentation • File an Issue • About this Instance • SSH Hostkey/Fingerprint

© Red Hat, Inc. and others.