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
distinfo
Makefile
pkg-descr
pkg-plist