K 10
svn:author
V 6
marino
K 8
svn:date
V 27
2017-01-29T23:39:24.061067Z
K 7
svn:log
V 288
math/why3: Unbreak after ocaml-findlib change

Use the same technique madpilot used on x11-toolkits/ocaml-lablgtk2
to restore the build after the (unexpected) changed to the output
of ocamlfindlib during its update to 1.7.1

While here, document previously unknown ocamlfind requirement.

END