archive: "https://github.com/ocaml/Zarith/archive/release-1.7.tar.gz"
checksum: "80944e2755ebb848451a77dc2ad0651b"
