/gnu/store/mk1jbp92aarg5zxg5i0m1hdmayiz6yax-coq-coquelicot-3.1.0-checkout.drv

("out","/gnu/store/jh2m5wyp835rh090g312hmxkvh2sbvq7-coq-coquelicot-3.1.0-checkout","r:sha256","550a434a95fab359339f85300d625de7a775bc312c9de84a7667886055bfe357")

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

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

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

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

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

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

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

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

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

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

("git commit","coquelicot-3.1.0")

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

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

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

("out","/gnu/store/jh2m5wyp835rh090g312hmxkvh2sbvq7-coq-coquelicot-3.1.0-checkout")

("preferLocalBuild","1")