Derive([("out","/gnu/store/mhpdxpxgrq9jjnc4fx9j3lb105yr3rbr-agda-1lab-0.0-2.549fdb1","","")],[("/gnu/store/3v9qmi0bdmgp8qlakvf5l41zjphq4dip-agda-1lab-0.0-2.549fdb1-checkout.drv",["out"]),("/gnu/store/5sq0zp98v5iv28kf3wvzm13785sjlibm-agda-2.6.4.drv",["out"]),("/gnu/store/7ym1v8ghzp694p3ygm0fdhj0anc9arfp-module-import-compiled.drv",["out"]),("/gnu/store/9dpbf0fix5n3gwrh0656k0yzcm0v2lys-guile-3.0.9.drv",["out"]),("/gnu/store/n9kblf5cx4lphrydjr90sp3zfvcdr1pb-glibc-utf8-locales-2.35.drv",["out"])],["/gnu/store/6qdci99a58a5cchbcvh6x34qidfdki9a-module-import","/gnu/store/a1z5qw81w7z92yzyighkgpx57nvygf9g-agda-1lab-0.0-2.549fdb1-builder"],"x86_64-linux","/gnu/store/g8p09w6r78hhkl2rv1747pcp9zbk6fxv-guile-3.0.9/bin/guile",["--no-auto-compile","-L","/gnu/store/6qdci99a58a5cchbcvh6x34qidfdki9a-module-import","-C","/gnu/store/7as1rnbzc0sgfrp54l1ypcp9dnn65nzg-module-import-compiled","/gnu/store/a1z5qw81w7z92yzyighkgpx57nvygf9g-agda-1lab-0.0-2.549fdb1-builder"],[("out","/gnu/store/mhpdxpxgrq9jjnc4fx9j3lb105yr3rbr-agda-1lab-0.0-2.549fdb1")])