http: "https://github.com/thery/coqprime/archive/v8.8.zip"
checksum: "3430856778d10abe378fbdd385ac834d"