/gnu/store/3hm4gkicqlxnw0kygn5gdh94qwrk56vi-
agda-1lab-0.0-3.afcf848.drv
Detail view
Formatted view
Plain view
View JSON
Inputs
File name
/gnu/store/kvnwfmlywmnawd1z9b110mgazlhlzavw-
agda-2.7.0.1.drv
/gnu/store/rryxrcmsmd7mb8r5b7s2ykyl9m6w28nf-
module-import-compiled.drv
/gnu/store/s25v203yk7z2bvcpsajalsdjlqjjdrsj-
agda-1lab-0.0-3.afcf848-checkout.drv
/gnu/store/zwm7jjxx0x2va4j4hmzpd10ynwpsky38-
guile-3.0.9.drv
Derivation details
Builder
/gnu/store/g47dyhp5r1mqk5y542fii9lw19giv855-
guile-3.0.9
/bin/guile
System
i686-linux
Build status
Scheduled
View build on https://bordeaux.guix.gnu.org/
Outputs
File name
/gnu/store/fffgmipfbm7fx64zflvx4ya5q18jh2nc-
agda-1lab-0.0-3.afcf848