John Marino ca546db10d 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.

2017-01-29 23:39:24 +00:00

..

files

math/why3: Unbreak after ocaml-findlib change

2017-01-29 23:39:24 +00:00

distinfo

…

Makefile

math/why3: Unbreak after ocaml-findlib change

2017-01-29 23:39:24 +00:00

pkg-descr

…

pkg-plist

…