edit opam file

2 jobs for master in 4 minutes and 55 seconds