Rebuild for ocaml-zarith 1.3.
Jerry James • 4 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