Derive([("out","/gnu/store/224pa00p2sjnkszyl5bng9p2jnyz7700-agda-1lab-0.0-3.afcf848","","")],[("/gnu/store/4r1bh6fwawa9za0jjynqgr4mjrzm7ncg-agda-1lab-0.0-3.afcf848-checkout.drv",["out"]),("/gnu/store/6iimnnhxah41fwyn3nmj035iwshp7lav-module-import-compiled.drv",["out"]),("/gnu/store/965dncw9g1hlsbgh8xsjhrz146b4r4i8-agda-2.7.0.1.drv",["out"]),("/gnu/store/mpcpqg2z2496phr13mq6p66isj30ps88-guile-3.0.9.drv",["out"])],["/gnu/store/qq4scfx633nkgd8ikvn1nnmcszvc3qfq-agda-1lab-0.0-3.afcf848-builder","/gnu/store/zhnkxkjwggfxjsvzmyvqijb550926laq-module-import"],"x86_64-linux","/gnu/store/xv4cd7qz4yan93zkjisbmbpxfz78hah2-guile-3.0.9/bin/guile",["--no-auto-compile","-L","/gnu/store/zhnkxkjwggfxjsvzmyvqijb550926laq-module-import","-C","/gnu/store/ks3p3hbgwxda6avqj165wa0s8xb0rmw8-module-import-compiled","/gnu/store/qq4scfx633nkgd8ikvn1nnmcszvc3qfq-agda-1lab-0.0-3.afcf848-builder"],[("out","/gnu/store/224pa00p2sjnkszyl5bng9p2jnyz7700-agda-1lab-0.0-3.afcf848")])