/gnu/store/47lgbrrzqa46yjdpm18ahf1vsxmslmwh-agda-2.6.0.1.drv

Inputs

File name
/gnu/store/3m5zjw1l2h0hp1zyvmw2v3zhz62jgss1-ld-wrapper-0.drv
/gnu/store/3w6464swicx6yghq5f2a5xm6rb325s6j-grep-3.4.drv
/gnu/store/4gybg2lkpla1m4fjvsh60xbg790ysy7d-ghc-hashable-1.2.7.0.drv
/gnu/store/5ci60f4nq96nrsjrmmpawzwkn1zkkvnv-sed-4.8.drv
/gnu/store/5xkx2w6zyh8rgvx5hari22gd0l3xrhly-ghc-murmur-hash-0.1.0.9.drv
/gnu/store/788wg8iv5izrw50hw7pl24jb2bx6ksff-ghc-boxes-0.1.5.drv
/gnu/store/7jfc8pxjlm9qfji3lmz3bsia5zdrpkq6-ghc-zlib-0.6.2.1.drv
/gnu/store/85hy8avwdng5rqgb41y70yl4j9ysphbh-bash-minimal-5.0.16.drv
/gnu/store/8g2ppz3rmgk1nmpksq1pa46hv4fnddl2-xz-5.2.4.drv
/gnu/store/8xzhjlyc70ijhgrxybpbsrj8i53ijbp8-patch-2.7.6.drv
/gnu/store/9id4n8jbf60i9h9g0b2krl68hg7s4cp6-ghc-8.6.5.drv
/gnu/store/9mmq7g79095nib2s31z5hshqnp72a5jc-gawk-5.0.1.drv
/gnu/store/9sw4mgcx1vlcby747apraabc66nljw70-glibc-2.31.drv
/gnu/store/agglz1596mzwrmw6dmln0ml8d17hv909-ghc-aeson-1.4.5.0.drv
/gnu/store/azs16pxfsraavjbyy2vdg5j28i59zrdm-ghc-alex-3.2.4.drv
/gnu/store/cavnp0wjbjpkpn02z4s80271f0643a29-ghc-gitrev-1.3.1.drv
/gnu/store/chxpd5lfkhrz4nf8js6q4cd8xi7s9wi1-diffutils-3.7.drv
/gnu/store/cl31g9rfhaji243amcwxwy9n8girnrlr-ghc-blaze-html-0.9.1.2.drv
/gnu/store/d7ni16379jzd0b1dqigf526hhcb4n0a3-ghc-equivalence-0.3.5.drv
/gnu/store/dvbzn6znccir8fs8nzh000k2asylbfvh-Agda-2.6.0.1.tar.gz.drv
/gnu/store/f4qgz1qax2h8hi29i1yr8pw38vs0jzcv-ghc-uri-encode-1.5.0.5.drv
/gnu/store/glijqhw8rplqrwdj82qd71ld646kzdz6-glibc-utf8-locales-2.31.drv
/gnu/store/gq30g5svpc7n5a8qmq60mxhlg8rvyxfx-make-4.3.drv
/gnu/store/h9yiwxhn8zc58ijc5kw1ijrrbrnkf5k9-linux-libre-headers-5.4.20.drv
/gnu/store/hgcnw19p772ki94in74wqsl20j50dd6n-gcc-7.5.0.drv
/gnu/store/hk6mc2wxp4jzzqnwwp50x924hmx5bsh2-guile-3.0.2.drv
/gnu/store/i3dwr59326z3zdf65ggd3dpkyskwy7qy-tar-1.32.drv
/gnu/store/iy2gawb2cyjg6i6zr996lfwh0y7j6mds-gzip-1.10.drv
/gnu/store/k65wmvzjbbrm1gwsri45r74jc2c2a08c-ghc-async-2.2.2.drv
/gnu/store/km8rbpg4g6l7h6x3chyx0ixc2rfllhhq-coreutils-8.32.drv
/gnu/store/liidlnj6lwcv8vi4f991fkzand99az1g-ghc-strict-0.3.2.drv
/gnu/store/n5kkbzhr6xgqdhan6wq81624kp20p32n-ghc-unordered-containers-0.2.10.0.drv
/gnu/store/npn1dvzw9sx84g1dc9k9m56765j3i2hf-ghc-filemanip-0.3.6.3.drv
/gnu/store/nvy2djnlj601hdk32b1xfkcpcqbq2079-ghc-data-hash-0.2.0.1.drv
/gnu/store/pm3ry5gxz2m1xrmphjfv8xwami2wp4rx-ghc-ieee754-0.8.0.drv
/gnu/store/rkgiw6k1av867m1ahgxj25nrdl3cl3vc-ghc-exceptions-0.10.3.drv
/gnu/store/rmj5v4009xsch6jc3h53brajp8n5my0w-findutils-4.7.0.drv
/gnu/store/rnprv8k8ri7h4arwgz1fdrdmicqc39rp-ghc-geniplate-mirror-0.7.6.drv
/gnu/store/s0392z2asgnklbgq860j302hm5y35zh5-bzip2-1.0.8.drv
/gnu/store/spydhg2xp1nzrqk6lw596zbziyjvqfid-ghc-edit-distance-0.2.2.1.drv
/gnu/store/v2402mkz9agr5w3vhzpwnhyzqi61swy6-binutils-2.34.drv
/gnu/store/vm3cv9z09s1bkrfyzxmg9gnh82rkzc2y-module-import-compiled.drv
/gnu/store/w0baf75k1czbb0s03560a0n4z9skgpq1-ghc-hashtables-1.2.3.4.drv
/gnu/store/wcn4m5ams0r40d9jgsi5bsh83yqfg72m-ghc-edisoncore-1.3.2.1.drv
/gnu/store/wm9hqmsjn4mylrngyya7l5zfvp7sn4bw-file-5.38.drv
/gnu/store/wzdnsi3h7r5mdz977lvrbhvmakjsdwgb-ghc-happy-1.19.12.drv
/gnu/store/yndvrbwqsmcgar7ngsj30bry2xcw6jyc-ghc-regex-tdfa-1.2.3.2.drv

Derivation details

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

Build status

Unknown