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

Inputs

File name
/gnu/store/2ig5rfvpw4kp36mg0g0ymkpixn0gbpir-ghc-gitrev-1.3.1.drv
/gnu/store/2qgpzgr0crdz753mq2q2hj5cqj9djflv-patch-2.7.6.drv
/gnu/store/394kp9gghylxcy2gwivh6hd8d3l81dq9-ghc-ieee754-0.8.0.drv
/gnu/store/4ph6p4gzn4bn0ga76bcfm1qp305qhdiw-bzip2-1.0.8.drv
/gnu/store/63v1kmh4n21k73ar3dgj5c2yjsg9q65h-sed-4.8.drv
/gnu/store/65jigkbripmy6jvpy0asyfs3n44iglpd-ghc-happy-1.19.12.drv
/gnu/store/6f8k61xzlkwrc1av3v7dy8kzfjhng5wp-ghc-filemanip-0.3.6.3.drv
/gnu/store/7d62axyjqw6b9lqc4v04s2b3cw7nvzqm-ghc-hashable-1.2.7.0.drv
/gnu/store/819qxx55hpny2imygd6csvjgx9v70nxg-gzip-1.10.drv
/gnu/store/8gn70nqvml6l0qnzfz3bmwmbhr7sdnw3-ghc-geniplate-mirror-0.7.6.drv
/gnu/store/9rch6r59h0b74lzannc0ajf1nh9417r3-glibc-2.31.drv
/gnu/store/akwxrjd5j8v5g8rdhb8y1bgchk7y3jsw-ghc-blaze-html-0.9.1.2.drv
/gnu/store/bqgkrr7h1ip7bspwdrwp6v9v0k40y1x5-ghc-edisoncore-1.3.2.1.drv
/gnu/store/dnv25ixssgpn10lyyg6zxshlkd03wf97-ghc-alex-3.2.4.drv
/gnu/store/f07aksm9jfnfml84h53kw2lh31xkapm0-ghc-strict-0.3.2.drv
/gnu/store/fr55yhzzvp65533lzzh6cwnfjr77kamr-ghc-regex-tdfa-1.2.3.2.drv
/gnu/store/fxjxq0kxapiqa9di29v6nxxaxfs6qpb2-ghc-unordered-containers-0.2.10.0.drv
/gnu/store/g5qz26vybbggcigmghav924wvp61wszb-ghc-uri-encode-1.5.0.5.drv
/gnu/store/hjxlbhf0vcpqg4qgsn7ljn2x1471lhgp-bash-minimal-5.0.16.drv
/gnu/store/hyhk1xryikjf60mv7r2ypcgqsahfbds6-ld-wrapper-0.drv
/gnu/store/i0xxfiql28xikcm9g44p347kr3w0macc-ghc-exceptions-0.10.3.drv
/gnu/store/ii69idph55hmi236sii8x1igsyxpxjr3-ghc-8.6.5.drv
/gnu/store/jfhbq5yglzsg713k9xbwrpyvxdxa5nam-ghc-zlib-0.6.2.1.drv
/gnu/store/lh8dn3qik4qqzhs65cxx4s5yxgfbq3mh-guile-3.0.2.drv
/gnu/store/lk4radgdb0ln2291z3fpx9akm75vh9sg-ghc-equivalence-0.3.5.drv
/gnu/store/lqjlz1yfij1z8qb8mpbp3dh82053nmp6-findutils-4.7.0.drv
/gnu/store/maf4yhqxi9m42lfl17ciw9ymk29vcnfm-ghc-murmur-hash-0.1.0.9.drv
/gnu/store/msm5024pni1yjzi3akzzkldp0p3wxldm-gawk-5.0.1.drv
/gnu/store/n09klab3g4papc49p08pzm4kqdangij4-hurd-core-headers-0.9-1.91a5167.drv
/gnu/store/pw0vabrg9ljm0ax46z6cl9gbmggir8ki-ghc-data-hash-0.2.0.1.drv
/gnu/store/qb5vgqmz8mwicn8rclcfw9svvkq04cvm-module-import-compiled.drv
/gnu/store/rb49r85djrlsjcw0nw4458jk2dmz2ml1-ghc-edit-distance-0.2.2.1.drv
/gnu/store/rbaffa65pgw1rwflrhvf3cb8xdamjw2i-make-4.3.drv
/gnu/store/rl1mbg0a4hmxiszwfz7nri1zybb190ky-grep-3.4.drv
/gnu/store/rxhsnjzbifinjhn0if3pk60xnyhamb55-glibc-utf8-locales-2.31.drv
/gnu/store/s5fzck31aj7f6liyghwlwffdazi3pmxz-ghc-aeson-1.4.5.0.drv
/gnu/store/shlz9zd107rxancw3x8p0hkbqrrmg0z9-diffutils-3.7.drv
/gnu/store/siidsvnp38ihwilv6vn9d2xvayspbgq5-ghc-boxes-0.1.5.drv
/gnu/store/sjxqjnj2kja1lhp5dl424jm1lrf7lwzs-tar-1.32.drv
/gnu/store/vim0l6nrw56nyzidhxmcnwcxipfkhch9-coreutils-8.32.drv
/gnu/store/vnz26d9sd14qagvfsm372lszzj6kxihg-gcc-7.5.0.drv
/gnu/store/wnvpg0q45jvrz3jml6n22rzcqflzv330-binutils-2.34.drv
/gnu/store/xqbfy7dlbd5bvvchz5dlzrw7dh3n448c-ghc-hashtables-1.2.3.4.drv
/gnu/store/xr9p7nrfdxqnb6ab4pf3k4s4qd6ws7xg-Agda-2.6.0.1.tar.gz.drv
/gnu/store/yfi327zfh1yi4n8kjxqg309afyy3ylll-xz-5.2.4.drv
/gnu/store/zvsb1yk6cfbdfsj5w3r1r90jhp6sm0pg-ghc-async-2.2.2.drv
/gnu/store/zypb29bwrd14arwhl4hln82gv7fdkpi2-file-5.38.drv

Derivation details

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

Build status

Unknown