Can you please add a checksum line here ? The easiest way to do so is to run `opam-admin make gadelac -g` at the root of your repository. Thanks!