I've added Abella to OPAM