http: "https://github.com/c-cube/qcheck/archive/0.8.tar.gz"
checksum: "061005847a32c4b4252d449e26f6c8f9"
