/gnu/store/r94xa73rj6bhx17zhmmfpxrf17ghh42c-coq-gappa-1.4.6-checkout.drv

("out","/gnu/store/pa4ivydpw5fkfzhxg2rj0iixkggw9yds-coq-gappa-1.4.6-checkout","r:sha256","c4a10ea2bf1d7b20d12e2b269861ba2e2ddaead25f9ed202b3cdfcac27882211")

("/gnu/store/04q39i4iwbq12v64j4n7v2dwfiqji5pa-module-import-compiled.drv","["out"]),

("/gnu/store/7vy360nvwbd0rlni3bcdc9aa7x1i5540-gnutls-3.6.15.drv","["debug","doc","out"]),

("/gnu/store/8k03bz3ci5fb08nq6cz00jpbiidzbqi4-git-minimal-2.32.0.drv","["out"]),

("/gnu/store/92vgssw7jyfqasbi4dnpibbyxcpql9ng-gzip-1.10.drv","["out"]),

("/gnu/store/j5x9q9rii8sz2p7s1nvi014yam1lw632-guile-3.0.2.drv","["out"]),

("/gnu/store/kg9w849m8sgnz5m1yklf33qfhqlfi9j7-guile-zlib-0.1.0.drv","["out"]),

("/gnu/store/rd3xwvkh0n8380lsww2fwpaib9h4rvfh-guile-json-4.5.2.drv","["out"]),

("/gnu/store/v4sggq1nv5gjj978a0295dn1fj4vj17d-tar-1.32.drv","["out"])

"/gnu/store/sl1yhkphg38alf3ji9m3x4c20h6yzf7q-module-import",

"/gnu/store/yrbvgkrva8h1321qx6spd2hlz6dfna4k-git-download"

("git commit","gappalib-coq-1.4.6")

("git recursive?","#f")

("git url","https://gitlab.inria.fr/gappa/coq.git")

("impureEnvVars","http_proxy https_proxy LC_ALL LC_MESSAGES LANG COLUMNS")

("out","/gnu/store/pa4ivydpw5fkfzhxg2rj0iixkggw9yds-coq-gappa-1.4.6-checkout")

("preferLocalBuild","1")