Rebuild for ocaml-zarith 1.3.
Jerry James • 5 years ago  
Rebuild for why3 0.85.
Jerry James • 5 years ago  
Merge branch 'f21'
Jerry James • 5 years ago  
Adapt to why3 0.84.
Jerry James • 5 years ago  
Rebuild for why3 0.84.
Jerry James • 5 years ago  
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 • 6 years ago  
Add missing ocaml-ocamldoc BR.
Jerry James • 7 years ago  
Update to Oxygen version.
Jerry James • 7 years ago