/gnu/store/3mx9d509s78hvh5dkzgw54g6djzqgaph-agda-2.5.4.1.drv

Detail viewFormatted viewPlain viewView JSON

Inputs

File name
/gnu/store/02x8yxady1gzcdslx20pcrdym2gnkx8v-ghc-alex-3.2.4.drv
/gnu/store/0fy1kp2xlvw2ijvc41p69gzzmiypg5vs-ghc-filemanip-0.3.6.3.drv
/gnu/store/10rdhz8b42hdjbzpa87jnldm1zmwfack-ghc-happy-1.19.9.drv
/gnu/store/1wp0jy2sdxgyn0mxvds75jan2c0az0q0-glibc-2.28.drv
/gnu/store/21l9z0lmsa4vnzzdxkh06zqa7pp69w4p-diffutils-3.6.drv
/gnu/store/2lrk3l9a4b8g31285hf7hvk1f1rw9q5q-ghc-strict-0.3.2.drv
/gnu/store/2pzj5gc4m53klgi7f7vpj7p4z976yk7v-make-4.2.1.drv
/gnu/store/2vxcgzr9hjli9swxz4pdribwzfc5b3va-ld-wrapper-0.drv
/gnu/store/34p3fq38klwmm9pa2flbhf5qm3p3k97d-cpphs-1.20.8.drv
/gnu/store/4i3m74apd5drqrl9zsjbydfx18y0z6xh-ghc-data-hash-0.2.0.1.drv
/gnu/store/5255g7ba2763y4z43zhadgqnwfsaqd1b-file-5.33.drv
/gnu/store/52hb42gclsh19q0xxg1r8k6pzahhcgny-ghc-uri-encode-1.5.0.5.drv
/gnu/store/57vzr38kxny1vadhx159lgiqimfkcpbd-ghc-8.4.3.drv
/gnu/store/5l2d67j1h0riax42a0kljnn6ghg4qm3s-gzip-1.9.drv
/gnu/store/5lxz2d3d35fhis5l85xib0x2njrgf0qj-patch-2.7.6.drv
/gnu/store/7dyd3c75vxhfjgfr4gr5f1izx5wd2a0x-ghc-hashtables-1.2.3.1.drv
/gnu/store/8p40w4i6w9rbaxjij4y9iwzm7r5bqir6-ghc-ieee754-0.8.0.drv
/gnu/store/9g8ay3ir54hfapg9vdgwaxih1r20fidg-xz-5.2.4.drv
/gnu/store/9inffd3zfznwknayjva43c8qk4scdpns-ghc-geniplate-mirror-0.7.6.drv
/gnu/store/9my4vd40w2sj77y6vmgfyz8xlrnhnw9d-gcc-5.5.0.drv
/gnu/store/9nf7ya3b3d1cqfs54w69rrhnlnrypah3-coreutils-8.30.drv
/gnu/store/9yhvl4p08r77938pp0is2p05lq9idgan-bash-minimal-4.4.23.drv
/gnu/store/c02a6p5pgci1dyawjwb9fh5phwzx6qyz-ghc-async-2.2.1.drv
/gnu/store/d81azprvxq6qzf9rinfpfi7fb1mrv9fp-ghc-murmur-hash-0.1.0.9.drv
/gnu/store/d92h92shv79d7hpwn2xczf8cavqwr3pw-tar-1.30.drv
/gnu/store/ddpxa16z5rd4sjvd5r0n4zmcd2zl0zr2-module-import.drv
/gnu/store/dq4qz6crkh7mfsclvg79h59h5b117plc-ghc-blaze-html-0.9.1.1.drv
/gnu/store/dz7y6fn2b3dvh542czvvapwk1gbr5idj-glibc-utf8-locales-2.28.drv
/gnu/store/f8zjpyfczz7b0bzbh9kzd7c52wcahjq3-linux-libre-headers-4.14.67.drv
/gnu/store/gh4dqipb92j2w3kq0inwzi2sg92x7kp0-ghc-stm-2.4.5.0.drv
/gnu/store/hmf6vrmg1fs0ys8afhgr9wf1rv6bxzzf-ghc-hashable-1.2.7.0.drv
/gnu/store/iv19hc26r17cp1d8d6rlzy0zhpcwzx75-module-import-compiled.drv
/gnu/store/j2rypqgc8i69pljdgv1b27ixpy7jpaw3-ghc-parallel-3.2.2.0.drv
/gnu/store/j3asdrcx5fif106lmzpilpd3pq1kss9s-grep-3.1.drv
/gnu/store/ja6jisqqhi4l5fg446xkdciasard9z8z-ghc-gitrev-1.3.1.drv
/gnu/store/jjzg0qwv4h8y5llnkrgs0wxw36rjk6wi-findutils-4.6.0.drv
/gnu/store/l1s7cavbmgz4mkybslxvlwwk88cncap9-ghc-equivalence-0.3.2.drv
/gnu/store/m7b544wl5a8jbsb58pvqkgr65h5mnfcl-ghc-text-1.2.3.0.drv
/gnu/store/n9zlvq692s12aarbrfppz7ayzggxfkqx-guile-2.2.4.drv
/gnu/store/nvxjmd33zz3syfxqnia23qw0r6kfmqap-ghc-edisoncore-1.3.2.1.drv
/gnu/store/p316xvp8in7ds7qxkdfbmr76018f5c53-Agda-2.5.4.1.tar.gz.drv
/gnu/store/pywbwz9h93mzaj09nzkrpwnc42sh5cr0-ghc-boxes-0.1.5.drv
/gnu/store/q2ls28rg73d8xxnf5krswv03fvxncj8g-binutils-2.31.1.drv
/gnu/store/qn8v1980jl2xnm85n9xqnrhpr14d81sa-ghc-regex-tdfa-1.2.3.1.drv
/gnu/store/rjpsqf6z5yqrapx19i8yqamfsyfnqvb0-bzip2-1.0.6.drv
/gnu/store/s3l1havcmwjbsn6456d16h8m8rzjkq3p-ghc-zlib-0.6.2.drv
/gnu/store/scv6sqnmh861bf586z9q9kj2bkilg0j3-ghc-edit-distance-0.2.2.1.drv
/gnu/store/x2ax3aa0wmi6b6wsx6ljkwymjlc6rc1j-gawk-4.2.1.drv
/gnu/store/x4xj5n939w63gnr5dbyyw8vijl9d8fpk-ghc-unordered-containers-0.2.9.0.drv
/gnu/store/x96jqkjd7jagszan8srmqblhgx1g6qmc-sed-4.5.drv

Derivation details

Builder/gnu/store/r658y3cgpnf99nxjxqgjiaizx20ac4k0-guile-2.2.4/bin/guile
Systemx86_64-linux

Build status

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

Outputs

File name
/gnu/store/mywm0gv16b5d5ph3xyj7y47hqppz5xvw-agda-2.5.4.1