PKG js_of_ocaml js_of_ocaml.ppx
B ../../lib/why3
B ../../src/*
S ../../src/*
