Copyright for ocaml-gavl source package in Vivid