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

Inputs

File name
/gnu/store/0r6dzlkiin7f1d4zj61s2hbwxd047d93-module-import-compiled.drv
/gnu/store/1s2l92abr92j7hwjzrjdl34ivb5p6fi5-ghc-edit-distance-0.2.2.1.drv
/gnu/store/3mqwyln3hvhw2dbclbg0gmcafb7qc1ak-bash-minimal-5.0.16.drv
/gnu/store/4si74mh2qk4189s5ga4ii9hw9bq23dqf-ghc-edisoncore-1.3.2.1.drv
/gnu/store/5s49a9xqxv7mdis9sw4ygvp1j0kj037r-ghc-filemanip-0.3.6.3.drv
/gnu/store/607aayqsi0j6z02wwg0jbd7a3zagz77x-patch-2.7.6.drv
/gnu/store/6flcqwnd2iys527ifdjvaar1ly844f63-ghc-hashtables-1.2.3.4.drv
/gnu/store/6m3dlppzmm8fi22n8jzsrvfcj69k4ldq-make-4.3.drv
/gnu/store/6w214fqvn14gji6760j4mcisrcchs4jm-gzip-1.10.drv
/gnu/store/7q8yw048wjfpbg0q5jj1z3ckrgbi81hi-guile-3.0.2.drv
/gnu/store/7rwsppmf58icr5nphgjfiqjifr0bh5jj-ghc-aeson-1.4.5.0.drv
/gnu/store/933kak9rlf7pdnpsa95fhs68j9sk2h6f-glibc-utf8-locales-2.31.drv
/gnu/store/b5z3hkabddll0sfr8r904w95sqf6iq4b-ghc-hashable-1.2.7.0.drv
/gnu/store/b9pwyx4k34s2bv3knl0k6m3q37ikvwf7-xz-5.2.4.drv
/gnu/store/bdc4xm08ikw9k18gi8wlldqdmx71x7vl-grep-3.4.drv
/gnu/store/c58lym86mpnapbxmlnh2g6l3zx2v6q5g-file-5.38.drv
/gnu/store/ddqna2ycra3jhi8z5ji9f3lx7llmgr8j-glibc-2.31.drv
/gnu/store/f19jjn48dh52l8dgrxihlba4l7srk4ar-ghc-data-hash-0.2.0.1.drv
/gnu/store/fbal6g0d1pyzrh3zbrqzmiaavzk9ra1b-Agda-2.6.0.1.tar.gz.drv
/gnu/store/fx3jx9q2aggxq9pzad054gsdrxdkpsmc-ghc-boxes-0.1.5.drv
/gnu/store/gwafgfzynmi3y1wir9jb0r2a93q0h644-ghc-8.6.5.drv
/gnu/store/h2xaq966c5bjd6lnba7zz43x0n0zq529-ghc-blaze-html-0.9.1.2.drv
/gnu/store/h7r0ih0qd6r1vmfpa8z57rgrd77gsjqy-bzip2-1.0.8.drv
/gnu/store/hd6is9jmcnxgdfhv3fmiz3ja2v6n4mxv-hurd-core-headers-0.9-1.91a5167.drv
/gnu/store/i9v1i4jhkp3kryzjw0jsxgpfrz8n31vd-ghc-async-2.2.2.drv
/gnu/store/j51b9qb6z367pb8fhg0xcv1dap72dh19-ghc-uri-encode-1.5.0.5.drv
/gnu/store/j8nrnpjanmgp8x7w8byhqp5z9qgfhgvk-coreutils-8.32.drv
/gnu/store/kv865zyl9y8fxbpwqna4h6sbd5h1x2gn-sed-4.8.drv
/gnu/store/n46f2p28538rygfzi43wkj2swqx85jmr-tar-1.32.drv
/gnu/store/nsv3ly90xzrcl6v7wxbjb5pb5h019wn6-ghc-regex-tdfa-1.2.3.2.drv
/gnu/store/nvzpw62mmgp1fdrl7c7xa4rsdgbjvs4h-findutils-4.7.0.drv
/gnu/store/p4af2qbl0rr5dh4xqn71wvlnpsp594sz-ghc-zlib-0.6.2.1.drv
/gnu/store/q96p88frj9r7s8b9ljqa9ss8kinqai3w-gcc-7.5.0.drv
/gnu/store/qks7c8h974dhkacnn2war430k9ixfycy-ghc-geniplate-mirror-0.7.6.drv
/gnu/store/r23msj2fr70kh5320brvzg5ik5561s8l-ghc-ieee754-0.8.0.drv
/gnu/store/s2gjsl53xsvyz63y526m42mfj7jv8ld7-ghc-happy-1.19.12.drv
/gnu/store/sck8a1g7x2336k4gszjj1mwwlk06h9sm-ghc-gitrev-1.3.1.drv
/gnu/store/vhqgq0zzpx9d8jjq80vdx5cv4992i78l-ghc-strict-0.3.2.drv
/gnu/store/vmqh0qzzl79sbaqgp4sgly4silvgq77d-ghc-exceptions-0.10.3.drv
/gnu/store/w1i6i77pfn33847jhbzfjs03vi93k800-gawk-5.0.1.drv
/gnu/store/xan2k4ikhwaban7ski7iizmd18wpfy83-ghc-unordered-containers-0.2.10.0.drv
/gnu/store/xd09qzh6c2wjgq4rzykhb3d4vfgwf5p3-binutils-2.34.drv
/gnu/store/xmx30kp0iys46q7in881j8m07rz7nx9d-diffutils-3.7.drv
/gnu/store/y1lapdd4xcc3h37mb3sidn7z2874sm4s-ld-wrapper-0.drv
/gnu/store/yy9f19b065lq9lag5xwjzmiwm6jjh4kp-ghc-murmur-hash-0.1.0.9.drv
/gnu/store/z1fhfx65bck1ycr3i3fxzgi8nkbzhm3b-ghc-equivalence-0.3.5.drv
/gnu/store/znsjcp35fqak156ml6p4pgpc3925rkfi-ghc-alex-3.2.4.drv

Derivation details

Builder/gnu/store/q42i7lrbp442pr88r0ayd9mm5dry7zll-guile-3.0.2/bin/guile
Systemi586-gnu

Build status

Unknown