Derive([("out","/gnu/store/yr9l6npk52645gvygv20xb9hi8l1iba6-coq-interval-4.3.0-checkout","r:sha256","d5e25fa5782d1c0b95f32dd3980600c228985fb7b045401cd391c2cf4e681bcb")],[("/gnu/store/508zq3n89x4405l9q1vrjfgr1m5481rp-git-minimal-2.32.0.drv",["out"]),("/gnu/store/9kmzrixw2mf2cv93m6s0fvbwm5k683s0-guile-json-4.5.2.drv",["out"]),("/gnu/store/bsf1l1s7kpsp0x05c5388a0h9bqfp6j5-guile-zlib-0.1.0.drv",["out"]),("/gnu/store/g8q07imzb91947n2yjwihj8vra7lcwsn-gzip-1.10.drv",["out"]),("/gnu/store/i82j596z5a2qsjpc9ssmidc2pzss7x7f-module-import-compiled.drv",["out"]),("/gnu/store/nj1kchrlgrxdzhriqzs3ngs9280j68c4-tar-1.32.drv",["out"]),("/gnu/store/riafqmpw094wjq0hvcy2fmlc1qr3r0w3-gnutls-3.6.15.drv",["debug","doc","out"]),("/gnu/store/yc8d3wi7jx87asbhyci628a9648qpahh-guile-3.0.2.drv",["out"])],["/gnu/store/7dnf9grs18wlhxzbq94pskrwn73arb8x-git-download","/gnu/store/sl1yhkphg38alf3ji9m3x4c20h6yzf7q-module-import"],"i686-linux","/gnu/store/zslki807w05y73wbpnszxpz44fl2yn8b-guile-3.0.2/bin/guile",["--no-auto-compile","-L","/gnu/store/sl1yhkphg38alf3ji9m3x4c20h6yzf7q-module-import","-L","/gnu/store/m4crwbknxwsvhqlasjljr3xkh9s6ir85-guile-json-4.5.2/share/guile/site/3.0","-L","/gnu/store/a7h1dqxpbj4zb8bjikwhdabgif5j8lb3-gnutls-3.6.15/share/guile/site/3.0","-L","/gnu/store/s7im0qg3v7b10alai2q3fzvzsg0r9436-guile-zlib-0.1.0/share/guile/site/3.0","-C","/gnu/store/xnqqnwfn5396yglf1sd04376dxd230x7-module-import-compiled","-C","/gnu/store/m4crwbknxwsvhqlasjljr3xkh9s6ir85-guile-json-4.5.2/lib/guile/3.0/site-ccache","-C","/gnu/store/a7h1dqxpbj4zb8bjikwhdabgif5j8lb3-gnutls-3.6.15/lib/guile/3.0/site-ccache","-C","/gnu/store/s7im0qg3v7b10alai2q3fzvzsg0r9436-guile-zlib-0.1.0/lib/guile/3.0/site-ccache","/gnu/store/7dnf9grs18wlhxzbq94pskrwn73arb8x-git-download"],[("git commit","interval-4.3.0"),("git recursive?","#f"),("git url","https://gitlab.inria.fr/coqinterval/interval.git"),("impureEnvVars","http_proxy https_proxy LC_ALL LC_MESSAGES LANG COLUMNS"),("out","/gnu/store/yr9l6npk52645gvygv20xb9hi8l1iba6-coq-interval-4.3.0-checkout"),("preferLocalBuild","1")])