archive: "https://github.com/janestreet/bin_prot/archive/v0.10.0.tar.gz"
checksum: "0e8957df795ce4fcba95d566ab54ab07"
