/gnu/store/zbvzjxrz60i5f0qjrwz07n0y0mhkpy7k-agda-2.6.2.drv

Detail viewFormatted viewPlain viewView JSON

Inputs

File name
/gnu/store/02clmi2b1c78gs10mmsay5yvnvxhd9pb-ghc-happy-1.20.0.drv
/gnu/store/0bbrdh7im95v7pbzgi72kijfj4d8ylc3-diffutils-3.7.drv
/gnu/store/0qlx2zps4ihr55z510vl2zfr1dn5n9dc-linux-libre-headers-5.4.20.drv
/gnu/store/15sck5v5gi1q3q4sk6y4vhx0l3sxw4in-ghc-aeson-1.5.6.0.drv
/gnu/store/1qv6ir1g30b4gdrd4rrhidr5m1x3hs75-ghc-parallel-3.2.2.0.drv
/gnu/store/3hv9bwfjv4y8ywymdhkw0yy5xfgnm5q8-binutils-2.34.drv
/gnu/store/3nw6mjzsvx5k5cfly73s7cj525l9g3vx-ghc-async-2.2.3.drv
/gnu/store/4v27z4lmld2x5v7f4hs9ayq9kvhblqcl-ghc-hashable-1.3.0.0.drv
/gnu/store/6f4fm64qgx8qkmi2434xr190wi19kj0a-findutils-4.7.0.drv
/gnu/store/6vb3zn8ysp6nyyprfsns5xynnlpy031v-ghc-blaze-html-0.9.1.2.drv
/gnu/store/8q9v8dmigh42dsiankzwr08nzvin83a5-glibc-utf8-locales-2.31.drv
/gnu/store/91bzsvkq0kynwqnrpyd69iqq8khfah3c-ghc-zlib-0.6.2.3.drv
/gnu/store/93bx0pkfji3xk78i2rx0l1g5f8j3yk9y-ghc-split-0.2.3.4.drv
/gnu/store/9vk8mqksg5m50gdf08mgidffg1ldfir8-coreutils-8.32.drv
/gnu/store/9y9wspij57szsm7aayanzq9m90x7nk36-ghc-hashtables-1.2.4.1.drv
/gnu/store/a3j2plc3cn1dbjwf3r73xjxdcv57awji-ghc-regex-tdfa-1.3.1.1.drv
/gnu/store/a8glfv2pmgc6dhdka07ypmsnqa7v6qml-ghc-8.10.7.drv
/gnu/store/bl0wpvkvx4knnc6qyafi5ivqhmfn1gfm-ghc-strict-0.4.0.1.drv
/gnu/store/bqcw4j6py4qnanvbichqkf709m6hqkq7-patch-2.7.6.drv
/gnu/store/cg031b4dr2x0pqy2baczfr0lpgxbvq1g-ghc-murmur-hash-0.1.0.9.drv
/gnu/store/cng8zapjyr6ckvcwcpiq7bad6z2nq2yh-ghc-boxes-0.1.5.drv
/gnu/store/dsdx2y2pi30f21klh2ks3vj867yagii5-bash-minimal-5.0.16.drv
/gnu/store/dvczwmhcjrr8fnd5f608yf4y4d73bbdw-grep-3.4.drv
/gnu/store/dyavmcwg2v8q2xccly8fzr1zg186nyh2-ghc-edit-distance-0.2.2.1.drv
/gnu/store/fr88rab5vlc1lnby32lpl95jzlicxd3p-tar-1.32.drv
/gnu/store/g6j6gnpvlp6i70qbh1696a0zvb6x4ckn-ghc-gitrev-1.3.1.drv
/gnu/store/gfwz7mpm58cp0mqmmwg8d8b8jky2y7fw-glibc-2.31.drv
/gnu/store/h8ynl4ggm3ygsayjf3jjn2in48d0xzw9-make-4.3.drv
/gnu/store/hbk2pmqg2li6s1hdrklwsyqf3i51wqs5-gawk-5.0.1.drv
/gnu/store/k3znyww3ik9an6aanln6gak4nmxycfbl-Agda-2.6.2.tar.gz.drv
/gnu/store/kwj879blx4y4yga41m30l8s0b5w7jcvh-ghc-case-insensitive-1.2.1.0.drv
/gnu/store/l71kc0samwpmzp7y5m3lc271byaxlbfv-sed-4.8.drv
/gnu/store/lmbmgq468g6vag0m856ik7nyrfa7zxi1-file-5.38.drv
/gnu/store/ma3qxpp59srw942dyv8c64myc7wanz3z-gcc-7.5.0.drv
/gnu/store/mp56aawgyxvziyzd2844xgnwg9chcpf9-ld-wrapper-0.drv
/gnu/store/mvvdn48s7a6i0r4yijy9qw7ynlk4v8y4-ghc-unordered-containers-0.2.14.0.drv
/gnu/store/r56csacd6s8ynrsixpqrnazd3kp5lv0f-gzip-1.10.drv
/gnu/store/r63wg8y9krw7hd80bk6gmjg4zyfdgsbj-bzip2-1.0.8.drv
/gnu/store/sciyb1g9xsx4xam6jrsgq5xlims4ql4n-ghc-uri-encode-1.5.0.7.drv
/gnu/store/vipipv3dpghva0a0wf0f79whw1vfk0ag-ghc-data-hash-0.2.0.1.drv
/gnu/store/w3g9sk22s875dkh19lakicpzp8z22kya-ghc-alex-3.2.6.drv
/gnu/store/wy01m9kl12vimgzm8qj2k00hnvs6c2fc-ghc-equivalence-0.3.5.drv
/gnu/store/y5d1rwszyy0pl2qvfh9mxaqj2xjybppx-xz-5.2.4.drv
/gnu/store/ym5sqwqj1gchqss5wmw5n898247wy92h-module-import-compiled.drv
/gnu/store/z24prifqpv0s14qbick3dbffnn0k50b5-guile-3.0.2.drv
/gnu/store/z95ic4klbcgaph62lmxjb1zf9zinc4ji-ghc-monad-control-1.0.3.1.drv

Derivation details

Builder/gnu/store/lgk876wh2bxxglplbwyymkx3sqzcbnk9-guile-3.0.2/bin/guile
Systemarmhf-linux

Build status

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

Outputs

File name
/gnu/store/ibyji3m2p34z037qkn8mbnjnjydjpsc3-agda-2.6.2
/gnu/store/n93dzl9dldfa4la3j2w8vi0ikfv0r8by-agda-2.6.2-static