Derive([("out","/gnu/store/kcqnwqj7wafy6xb4bmprm8q861pqh0j4-coq-coquelicot-3.4.1-checkout","r:sha256","e3f42cb439aa125c7a55f6cce8fc379820a97e3d0d640557466c403a1b6e42f8")],[],[],"powerpc64le-linux","builtin:git-download",[],[("commit","coquelicot-3.4.1"),("impureEnvVars","http_proxy https_proxy LC_ALL LC_MESSAGES LANG COLUMNS"),("out","/gnu/store/kcqnwqj7wafy6xb4bmprm8q861pqh0j4-coq-coquelicot-3.4.1-checkout"),("preferLocalBuild","1"),("recursive?","#f"),("url","\"https://gitlab.inria.fr/coquelicot/coquelicot.git\"")])