Derive([("out","/gnu/store/fffgmipfbm7fx64zflvx4ya5q18jh2nc-agda-1lab-0.0-3.afcf848","","")],[("/gnu/store/hlz59hmrj6wc4a9kq5jzzhlq16g60lap-module-import-compiled.drv",["out"]),("/gnu/store/kk9jjxd4wnhyszgmfxrdqlnm4p21244f-agda-1lab-0.0-3.afcf848-checkout.drv",["out"]),("/gnu/store/nbxfrsfrjc6jzwps8wxx0bkfknkdkpi6-agda-2.7.0.1.drv",["out"]),("/gnu/store/y7slnjxhkjzaf13gs4ccjf6sg17f6dj5-guile-3.0.9.drv",["out"])],["/gnu/store/qhphh8i8zwqqywyjb6pgl6aa39lriyg7-agda-1lab-0.0-3.afcf848-builder","/gnu/store/zhnkxkjwggfxjsvzmyvqijb550926laq-module-import"],"i686-linux","/gnu/store/g47dyhp5r1mqk5y542fii9lw19giv855-guile-3.0.9/bin/guile",["--no-auto-compile","-L","/gnu/store/zhnkxkjwggfxjsvzmyvqijb550926laq-module-import","-C","/gnu/store/xd63kzsdb0bqrqk6spsy9wbh1l54wvmi-module-import-compiled","/gnu/store/qhphh8i8zwqqywyjb6pgl6aa39lriyg7-agda-1lab-0.0-3.afcf848-builder"],[("out","/gnu/store/fffgmipfbm7fx64zflvx4ya5q18jh2nc-agda-1lab-0.0-3.afcf848")])