/gnu/store/y369qhd7rlriz5gmf1kib57p60y79s3m-agda-2.6.0.1.drv

Detail viewFormatted viewPlain viewView JSON

Inputs

File name
/gnu/store/161pz2xfa2r5ag29fn31llrnrr5jpkmn-linux-libre-headers-5.4.20.drv
/gnu/store/1f707lxniwabbcwq8s4bppdl2wgvcgnz-ld-wrapper-0.drv
/gnu/store/2bb4bh2mkv6bn1zb392f832c3wib6zbc-diffutils-3.7.drv
/gnu/store/2r7jh9i9d1cas5fj9qyf60hxm5n67z2f-ghc-edit-distance-0.2.2.1.drv
/gnu/store/2z0wx2r87a4jlk72zrjj28bxqnf4i29n-bash-minimal-5.0.16.drv
/gnu/store/2zc14w0a7rhzfd3z1l9jpi4yy63j0alh-ghc-geniplate-mirror-0.7.6.drv
/gnu/store/37ri4k5ddbziy8ffzdbdcjjnz1qjj9jc-binutils-2.34.drv
/gnu/store/4lf5miavm8sab1r0bxix32kbzw6cjn0k-glibc-utf8-locales-2.31.drv
/gnu/store/5f42ynvlz5919hp0pp3zv50j15434iq7-ghc-hashable-1.2.7.0.drv
/gnu/store/5rqsrdc1xxyf2jvy1jy40d2rkwkpkpm0-ghc-boxes-0.1.5.drv
/gnu/store/67s8an1f9g5jmxsihr3p4q7nnjhxnp04-coreutils-8.32.drv
/gnu/store/6wsyc9rfva8qcpzajf2i6zhmalrclnyi-ghc-exceptions-0.10.3.drv
/gnu/store/8b1z3np8xw2lw17i31zmzi0sz6hjykcp-bzip2-1.0.8.drv
/gnu/store/8nqh99xql35s6pf6i0m5wlzn9vnmqx15-ghc-happy-1.19.12.drv
/gnu/store/a0ya76n140gl7s54ryyvppa238q69vzk-patch-2.7.6.drv
/gnu/store/ap2bncwllf5a3498fx2q91qyk0rnan92-ghc-strict-0.3.2.drv
/gnu/store/bdpmin8d9ky3bk4pm31y8wbi3l06nmmp-ghc-filemanip-0.3.6.3.drv
/gnu/store/bpfn9w49d9d2ywcmm9ww8kg7kz3imlyc-xz-5.2.4.drv
/gnu/store/c7gp7pc3xmv98k3wndrbjib8ihcs75dz-ghc-unordered-containers-0.2.10.0.drv
/gnu/store/cisch3ll2w3pz9vw2p7sam6h58231py5-ghc-aeson-1.4.5.0.drv
/gnu/store/cwgnc9h2kyzmwjdjhjv7yvyr1gvd2qy7-gcc-7.5.0.drv
/gnu/store/d5r9k3wwm4b3wxj1w81qgm90h6qv5qj1-ghc-edisoncore-1.3.2.1.drv
/gnu/store/dlv70ny2yn19pg0c9pcv4flbpznzb2f6-Agda-2.6.0.1.tar.gz.drv
/gnu/store/f3hl94vsvqj0rqlrklrr5nks8y5q1cz1-grep-3.4.drv
/gnu/store/g56hdrlhkkwmyxdq4nwki4vjw35i4y80-ghc-ieee754-0.8.0.drv
/gnu/store/g5ln51zrjyjx9m8p9b72albcnchznxr3-ghc-8.6.5.drv
/gnu/store/gj4v8a4d431cz2d7sws1aw76jf427vg2-findutils-4.7.0.drv
/gnu/store/gsnmrkm6as8nvsnlplmha66a12lsz5h0-sed-4.8.drv
/gnu/store/hwawgnwsa86xkrzmqkhcg4a234ljmpbn-ghc-gitrev-1.3.1.drv
/gnu/store/i54pbza0qxrn9f38ammvzdbqczkfbmbr-ghc-alex-3.2.4.drv
/gnu/store/igb69yd7ynr9kh9y0rwf7g9d00mcjpb1-glibc-2.31.drv
/gnu/store/im58szgb011akzs93cvxv05m0vsrci2z-gawk-5.0.1.drv
/gnu/store/j581gvw7xk0hz5jchmbwflz5il61hm9a-ghc-zlib-0.6.2.1.drv
/gnu/store/ksqqjcpck9cgwq44l1304fl9rjvbs42z-ghc-uri-encode-1.5.0.5.drv
/gnu/store/lnpdyamm7caw4nk9gnzx3l08xnpfd63s-ghc-hashtables-1.2.3.4.drv
/gnu/store/lzjwkmsfx82yj34ajsc1bi7q38iw4mlb-make-4.3.drv
/gnu/store/m7nkm01nawp7bl8cn3aik7fzf5pqkzrl-ghc-async-2.2.2.drv
/gnu/store/qfxfp3dxci50k6zr6rbj8x7ya324mhzv-ghc-regex-tdfa-1.2.3.2.drv
/gnu/store/r9zipil3s3nhkxgrkhs4bqp9z3gja97f-gzip-1.10.drv
/gnu/store/rm76p09q97vzf5j94k6rcwz4frpqm3ck-ghc-data-hash-0.2.0.1.drv
/gnu/store/rmc4fpc3ib7f0mj4ili8fni86a0v6mag-ghc-equivalence-0.3.5.drv
/gnu/store/rywp6x8553slyqmifnkdrwgl03b92csk-guile-3.0.2.drv
/gnu/store/sj05ppzkb4hq4r2n37znaa6kcv7f8ssc-ghc-murmur-hash-0.1.0.9.drv
/gnu/store/w66mqbmzwxavxh0dsinspf3hxdsdqc9j-module-import-compiled.drv
/gnu/store/x07aqn6kyf5ahlmx4v8slflpy7vsl010-file-5.38.drv
/gnu/store/xfw142gbral63cbpyrpkh1brrk2drsrv-ghc-blaze-html-0.9.1.2.drv
/gnu/store/zjcinkm0pasz641ky95vqvg5z3a831ra-tar-1.32.drv

Derivation details

Builder/gnu/store/f855x7hpmrxp5niaalx344h5p2v8i5zh-guile-3.0.2/bin/guile
Systemmips64el-linux

Build status

Unknown

Outputs

File name
/gnu/store/x467niz3dl88k2cyx236pi0ds6nhp5nl-agda-2.6.0.1
/gnu/store/pvlwbsm7r8flj0b0grhf2xq61rxxyii0-agda-2.6.0.1-static