Update to Fluorine version.
Jerry James • 6 years ago  
Build with zarith support.
Jerry James • 7 years ago  
Add missing ocaml-ocamldoc BR.
Jerry James • 7 years ago  
Update to Oxygen version.
Jerry James • 7 years ago  
modified: sources
Mark Rader • 8 years ago  
new file: frama-c-1.5.licensing
Mark Rader • 8 years ago  
modified: .gitignore
Mark Rader • 8 years ago  
dist-git conversion
Fedora Release Engineering • 9 years ago