ocaml-4.02.0+rc1 rebuild.
Jerry James • 5 years ago  
Add comment to desktop file.
Jerry James • 5 years ago  
Rebuild for coq 8.4pl4.
Jerry James • 5 years ago  
Update to Neon version.
Jerry James • 5 years ago  
Rebuild for OCaml 4.01.0.
Jerry James • 6 years ago  
Update to bugfix Fluorine release.
Jerry James • 6 years ago  
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