/gnu/store/j2f76vgv459a04m0hgk1ip20hy74lznn-agda-2.6.2.1.drv

Detail viewFormatted viewPlain viewView JSON

Inputs

File name
/gnu/store/1j7ggwj0gfxmspnc8g6pbx07mw5z31aq-ghc-hashable-1.3.0.0.drv
/gnu/store/1r8mrx5cb87wnx1fipgh1mxgjnryb95x-Agda-2.6.2.1.tar.gz.drv
/gnu/store/2pj3sgbgv1dqs4ck0cpmwcq8hww0ijz7-diffutils-3.8.drv
/gnu/store/2yj6mrc4gpxyiplc82ndzp6wfpv72wki-ghc-happy-1.20.0.drv
/gnu/store/46m2cp8xfb70fngiclihk48ackv4lwrc-ghc-murmur-hash-0.1.0.9.drv
/gnu/store/4n2xivp3qgrad9mp7nayrdrxybmx0kmc-ghc-split-0.2.3.4.drv
/gnu/store/4spn3i2w8x5kyp12krcgh2x59bclkz5c-ghc-equivalence-0.3.5.drv
/gnu/store/5009y3vpcqbvh5cw6mff5abp47bb360c-ghc-monad-control-1.0.3.1.drv
/gnu/store/582jlbcrbd99jbad45hab63pfix4qah9-patch-2.7.6.drv
/gnu/store/5sq8if2pxsj0hcjv82vpfdmn0hlk1d7w-ghc-zlib-0.6.2.3.drv
/gnu/store/67wh0npvwk02b0zjly0a4n59s7xv3f6b-ghc-strict-0.4.0.1.drv
/gnu/store/6q93pf09p6jnz7a9rljskibgrzps7m7s-findutils-4.8.0.drv
/gnu/store/7zgavfs26byayvca1wc4lavdyxbi6ncd-grep-3.6.drv
/gnu/store/83yz6cj5wglrlj49a2z3p9yf1d5ld7wp-ghc-alex-3.2.6.drv
/gnu/store/8l6mraljm46r2rx3yjwy97mkr7y244b4-ghc-regex-tdfa-1.3.1.1.drv
/gnu/store/9fy3s1k1k4vgs8p29xdy6xixxgnzddya-ghc-boxes-0.1.5.drv
/gnu/store/a1n057fgq0yv5y01qmwyh55vxhpz2g66-linux-libre-headers-5.10.35.drv
/gnu/store/b6r3mp4wffgsb4pklclbr5mfw7h94y7y-tar-1.34.drv
/gnu/store/by59l6hc677ssgaxjm55y6bpdd6y31km-ghc-aeson-1.5.6.0.drv
/gnu/store/cvy37ymqj6nm5b9rh15vdqy3ymz3wyc0-bash-minimal-5.1.8.drv
/gnu/store/dh3wb9r355qcwb4ncy9dn3qgicchxp24-ghc-parallel-3.2.2.0.drv
/gnu/store/dn7qrbfkapyj97rqp157sx6nsbpl99r0-module-import-compiled.drv
/gnu/store/dr6mz2k2xw6j2xay1kqlpycikp16b2xq-ghc-gitrev-1.3.1.drv
/gnu/store/gg6mzbwal1pdqcv02ckhzvy3snfl8s9a-coreutils-8.32.drv
/gnu/store/gsr8kmsbs2lhmimf025s72j5zf83dkjp-file-5.39.drv
/gnu/store/idpm8mcvav5m7y1b35la0ikj57ywlpak-make-4.3.drv
/gnu/store/ilisr6g1my3mdlrrngl50nfp64q5jc2d-glibc-utf8-locales-2.33.drv
/gnu/store/in6n2gwf59xinb981qpfwarqx1skfn4n-binutils-2.37.drv
/gnu/store/j8404zf2f5gxilwsrlk1bwihfdjgnlys-ghc-hashtables-1.2.4.1.drv
/gnu/store/k1jvb5dvgj4w1g4d8br3a9nym4zpz54s-sed-4.8.drv
/gnu/store/kdap0ai0817y98dzan68h9ffmccs089b-gawk-5.1.0.drv
/gnu/store/krrw7qjd8xdwlh08pygph8sjqck19srp-ghc-data-hash-0.2.0.1.drv
/gnu/store/l1262f2xjzakpwrmiaysjqjah0q0wfqg-ghc-case-insensitive-1.2.1.0.drv
/gnu/store/lyqvrd1a2n5pkfn68mxk25y8d07b3ahs-ld-wrapper-0.drv
/gnu/store/nk1ndsdds1ixcgdc2bdvndczijkhfx1x-gzip-1.10.drv
/gnu/store/nyz5cmppp735jnzrgbg0fdjjhq4qp0dp-glibc-2.33.drv
/gnu/store/s4296bqxjqds954v6f9anjnb69xf04hk-gcc-10.3.0.drv
/gnu/store/s7lafv82z6m9k8axgizmij9m0w48q7zd-ghc-edit-distance-0.2.2.1.drv
/gnu/store/sj6viyydz2fa4ijkavxakjmxiwz304jw-ghc-blaze-html-0.9.1.2.drv
/gnu/store/v8h7s459hd09ppmbj20hxp1sgbv7dxkl-ghc-unordered-containers-0.2.14.0.drv
/gnu/store/vbl76i1mfwhhlc8mcm5i6kcrz1v4lh5i-ghc-uri-encode-1.5.0.7.drv
/gnu/store/wsssmjx1py9kzr1ay858mgpqjkil0584-bzip2-1.0.8.drv
/gnu/store/x5askjynhkr7slhps9hmda3m28jsz3cv-xz-5.2.5.drv
/gnu/store/x9ri696b00j2lhav74lhc0jn6315b1nm-ghc-async-2.2.4.drv
/gnu/store/xfay35qql6xzay6ha1rbzg797rdvj3j2-guile-3.0.7.drv
/gnu/store/zsmkr2f93zq1ar6nryifbn7g7raaip2l-ghc-8.10.7.drv

Derivation details

Builder/gnu/store/q7fwd9ri2ad3mgq8qnc1s6iir0qwls0d-guile-3.0.7/bin/guile
Systemarmhf-linux

Build status

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

Outputs

File name
/gnu/store/hk8ziaaa2ajzqif2cp8s5827iw57x2jb-agda-2.6.2.1
/gnu/store/mbbzvxczxbk1rfdd65m4zi5lrhjnr1z2-agda-2.6.2.1-static