Re: opam2rpm (licensing)