http: "https://github.com/janestreet/configurator/archive/v0.10.0.tar.gz"
checksum: "3d113bb70585c95f25602ba94689bf98"
