/gnu/store/f5c8ai6gqwps9hv20l4gckirln9ij0kd-agda-2.6.2.2.drv

Detail viewFormatted viewPlain viewView JSON

Inputs

File name
/gnu/store/09l582bzr3x06fksq82w8gsk6b2n2bqx-ghc-data-hash-0.2.0.1.drv
/gnu/store/0l8dwsrbp83d2k5szynx1ipj9imz9pjs-Agda-2.6.2.2.tar.gz.drv
/gnu/store/2z0gvdssa1wkp2hnm40v54k8c8jplqij-ghc-uri-encode-1.5.0.7.drv
/gnu/store/3cyh5lsa9k6jwqli7sm0hlk045sb6z69-gawk-5.1.0.drv
/gnu/store/3drb1nxvjimgs7mk0nrv9g3awrmcd9y5-ld-wrapper-0.drv
/gnu/store/3pwp9k2s8dpxsn7iskv8mw3aggkwy7fp-ghc-happy-1.20.0.drv
/gnu/store/5y5zj7m39a2nl7ah3f31fvkjx63sibzy-diffutils-3.8.drv
/gnu/store/6an5s5ilk91z1pqxyfby8qgkah8b38h9-coreutils-8.32.drv
/gnu/store/6rbzjw6n9h06fy7c7sldmywfq5n66v8i-findutils-4.8.0.drv
/gnu/store/6rlhx0mx3gwg57k1qfqb40159glx470n-bzip2-1.0.8.drv
/gnu/store/85xxja2k042p2acg97gi3mn4y0qskgdx-bash-minimal-5.1.8.drv
/gnu/store/8mvzb0w2d0764bj9wmc1ryxjfbkhdsvc-ghc-hashtables-1.3.1.drv
/gnu/store/8p74x7lydgg51f303brjyd6w3s2cfkx4-sed-4.8.drv
/gnu/store/907i5qg6r31p7z8m926rzlnr9knbc2r2-glibc-2.33.drv
/gnu/store/9nichc6hc47my2v7431aprb9whh2bdpc-ghc-murmur-hash-0.1.0.10.drv
/gnu/store/bfsa6pk7wzcm7rldadx7a1ghq7m7a3pw-ghc-async-2.2.4.drv
/gnu/store/c12h9kn78aaksaydzim4cc8l72yb7il0-make-4.3.drv
/gnu/store/c73c19ix6d61w4bk4j38m83wf4k09k4j-ghc-unordered-containers-0.2.19.1.drv
/gnu/store/dfw5ngbkj7i05m8x0iwsiv4kx1hayp1r-ghc-gitrev-1.3.1.drv
/gnu/store/dhn6qgz95sgf336par5mz26s2ss8lfl5-ghc-hashable-1.4.1.0.drv
/gnu/store/dzdn0372ih4bbigsd9vcrpbsy8jqc6xm-file-5.39.drv
/gnu/store/f2vhwb3g6xw4n8s47i9m4qq8x4knbyql-ghc-monad-control-1.0.3.1.drv
/gnu/store/f9cljhsizxccbq796dyqv4iffsl6q0nf-ghc-aeson-2.0.3.0.drv
/gnu/store/gaipm69nqqjilm1alxdibjxkp2yl4dz1-ghc-equivalence-0.4.1.drv
/gnu/store/h7ikb8m72g1241l07klvmd493rhwl1v1-patch-2.7.6.drv
/gnu/store/hsg4rwxwzf28g93r0f94i24hgrzfb86m-gzip-1.10.drv
/gnu/store/in0gfsahn1z6ym232wg3cayzim51zng8-ghc-9.2.5.drv
/gnu/store/jzzilp7b06vjphyw1sdb2x712navzm0y-module-import-compiled.drv
/gnu/store/m5f96dr40fbw9qnsa3p39mawmdq58rfb-ghc-parallel-3.2.2.0.drv
/gnu/store/ms1qsa8p4pksjq6kns4bzkfz309aph0b-ghc-case-insensitive-1.2.1.0.drv
/gnu/store/n380bzxxy8fzqx9q9ahnsp4l2w6pm4p1-linux-libre-headers-5.10.35.drv
/gnu/store/p19i72qvhf585fkqw9vqfk6q2i62m1am-ghc-alex-3.2.7.1.drv
/gnu/store/pax2g9y6icgxabm9x870mdvvawga3i66-glibc-utf8-locales-2.33.drv
/gnu/store/qbncx2c9ra36yy4k7msmfshxi1dzvda5-ghc-boxes-0.1.5.drv
/gnu/store/qfnvsry9rkdwkmcrd0k8ac7gc2c4ywvp-ghc-regex-tdfa-1.3.2.drv
/gnu/store/qqva7dnlvmh01mrf9mj8yk0ibxbnrdsz-grep-3.6.drv
/gnu/store/rl6awbylwci03m19n320ry1b7n1f5fw8-tar-1.34.drv
/gnu/store/scnsy81ik2pbq7ahg79b70ia8ih68y1d-xz-5.2.5.drv
/gnu/store/sw9w8msdz8q70n3cfrbxqyz4rlxnv3w9-ghc-edit-distance-0.2.2.1.drv
/gnu/store/vgri8n3724if3hs1hk8apipn50xa9g4z-ghc-split-0.2.3.5.drv
/gnu/store/w2lvxgh2d5ka6r5y9iwfiqk7pm9k7fg1-ghc-zlib-0.6.3.0.drv
/gnu/store/w71bqhcmwl3ac6ycffaa26zv4v55hy0g-ghc-blaze-html-0.9.1.2.drv
/gnu/store/wr65c3kp9238ph7s5ds12hb8412rh0xk-gcc-10.3.0.drv
/gnu/store/wzd842cgyjnvdhyz2v4rfzxvkcfiwiys-binutils-2.37.drv
/gnu/store/xj93zisjp180s5h61jyvzdpj4a4k59kc-guile-3.0.7.drv
/gnu/store/zfbwc48ns2cnc127nrqy829h93k1851w-ghc-strict-0.4.0.1.drv

Derivation details

Builder/gnu/store/7n5vpd85mgm1vi5jap51gnwfavxqf5la-guile-3.0.7/bin/guile
Systemi686-linux

Build status

Scheduled
View build on https://bordeaux.guix.gnu.org/

Outputs

File name
/gnu/store/mb5c7d8x3y7vzi59p2h5y07fap51l5y1-agda-2.6.2.2