Derive([("out","/gnu/store/6rhngb844gxvb5ybi6cbc8aszkbggzlh-agda-1lab-0.0-2.549fdb1-checkout","r:sha256","12cf67a4d60412b573c76da025ad9f0a62a52f448a70d5ef54f4fa151b929fcc")],[("/gnu/store/01m0nrvqpvrhlp0b1gk1q9jali8h9b9s-module-import-compiled.drv",["out"]),("/gnu/store/2f3kxrng4hjlgmzd5vphs8m3xmsyvnax-guile-gnutls-3.7.12.drv",["out"]),("/gnu/store/9dpbf0fix5n3gwrh0656k0yzcm0v2lys-guile-3.0.9.drv",["out"]),("/gnu/store/b9rzfn9f0kijkskkrxn7az3s6sgwg4xx-guile-json-4.7.3.drv",["out"]),("/gnu/store/hqah3r4lybvl1264bpj6prrlp3w3mm4n-gzip-1.12.drv",["out"]),("/gnu/store/n9kblf5cx4lphrydjr90sp3zfvcdr1pb-glibc-utf8-locales-2.35.drv",["out"]),("/gnu/store/rmm64kbl9p5zl26scq7fbxivvy0q3rdz-guile-lzlib-0.0.2.drv",["out"]),("/gnu/store/w1n0nzxdaw6kjm6dbh1717jw3dm0vdxq-tar-1.34.drv",["out"]),("/gnu/store/x2wbmdcd6xnpcrx9gaj7pv3m496k4qn4-git-minimal-2.41.0.drv",["out"])],["/gnu/store/11dva1l88dwkf41amkazig7k1k87dniv-git-download","/gnu/store/baqg2alddrcyf4b7fvys0pbp7y2sycfy-module-import"],"x86_64-linux","/gnu/store/g8p09w6r78hhkl2rv1747pcp9zbk6fxv-guile-3.0.9/bin/guile",["--no-auto-compile","-L","/gnu/store/baqg2alddrcyf4b7fvys0pbp7y2sycfy-module-import","-L","/gnu/store/p5f006jcr83jc7m731vhvjdkr2j0hnp3-guile-json-4.7.3/share/guile/site/3.0","-L","/gnu/store/0i81lpfnn05pmjc5f43q4nfvd27r08f7-guile-gnutls-3.7.12/share/guile/site/3.0","-L","/gnu/store/1zlqd5240mq0dwwig9bv1cg4zjf092h9-guile-lzlib-0.0.2/share/guile/site/3.0","-C","/gnu/store/dy77nm5k05k8kjywkkkkvv04xar15sj3-module-import-compiled","-C","/gnu/store/p5f006jcr83jc7m731vhvjdkr2j0hnp3-guile-json-4.7.3/lib/guile/3.0/site-ccache","-C","/gnu/store/0i81lpfnn05pmjc5f43q4nfvd27r08f7-guile-gnutls-3.7.12/lib/guile/3.0/site-ccache","-C","/gnu/store/1zlqd5240mq0dwwig9bv1cg4zjf092h9-guile-lzlib-0.0.2/lib/guile/3.0/site-ccache","/gnu/store/11dva1l88dwkf41amkazig7k1k87dniv-git-download"],[("git commit","549fdb1c948a975e90e70f871993a4a4239aa280"),("git lfs?","#f"),("git recursive?","#f"),("git url","https://github.com/plt-amy/1lab.git"),("impureEnvVars","http_proxy https_proxy LC_ALL LC_MESSAGES LANG COLUMNS"),("out","/gnu/store/6rhngb844gxvb5ybi6cbc8aszkbggzlh-agda-1lab-0.0-2.549fdb1-checkout"),("preferLocalBuild","1")])