]>
2012-06-24 | Jan Rękorajski | - needed to build coq with ocaml 3.07 |
commit | commitdiff | tree |
2012-06-24 | Jan Rękorajski | - add patch needed to build with ocaml 3.07 |
commit | commitdiff | tree |
2012-06-24 | Jan Rękorajski | - initial revision |
commit | commitdiff | tree |