Could you add a checksum here ? You can either add it manually or run `opam-admin make -g script` at the root of your repo. Thanks!