tom-p-reichel/coq-kissloader

load findlib libraries in coq that don't have a dot in their name

OCaml