]> git.pld-linux.org Git - packages/coq.git/history - coq-ocaml-3.09.patch
- official build fix for ocaml 3.09
[packages/coq.git] / coq-ocaml-3.09.patch
2012-06-24 Jan Rękorajski- official build fix for ocaml 3.09
This page took 0.061089 seconds and 7 git commands to generate.