http: "https://github.com/janestreet/ppx_driver/archive/v0.10.4.tar.gz"
checksum: "c4953d8c72ee88fa823293834f93a31f"
