copyright header; QCheck_ounit.~::
opam file