Derive([("out","/gnu/store/7h5d2mzhkr18rhwp95hakhc5lh85rqwf-coq-8.17.1-checkout","r:sha256","c3607d51724aa812471bcc4603e7c6c643ae174ba7ac40cea40844807f84e63d")],[],[],"riscv64-linux","builtin:git-download",[],[("commit","V8.17.1"),("impureEnvVars","http_proxy https_proxy LC_ALL LC_MESSAGES LANG COLUMNS"),("out","/gnu/store/7h5d2mzhkr18rhwp95hakhc5lh85rqwf-coq-8.17.1-checkout"),("preferLocalBuild","1"),("recursive?","#f"),("url","\"https://github.com/coq/coq\"")])