Typo in opam file