/gnu/store/gba5zjfb9xvfmk1hqc9slrn3y3nzbg7p-agda-2.6.2.1.drv

Inputs

File name
/gnu/store/0drqxar2gw1d8jg2zc4y4p1gd8r7gf70-xz-5.2.5.drv
/gnu/store/17d38inldgkkd8b1dwsvcq77mg9n61b3-ghc-monad-control-1.0.3.1.drv
/gnu/store/18nyxai3i6hw53pjyhbmag93qh21khw1-patch-2.7.6.drv
/gnu/store/2zjc8kcw4g3d28dkcrf20gmdc7nl59a1-ghc-regex-tdfa-1.3.1.1.drv
/gnu/store/3iz6dn1hkf9x046lcvkx10q4jfmxhj1b-diffutils-3.8.drv
/gnu/store/3x3g90rarikzyp6slw0nb4zqwv8aya9k-ghc-zlib-0.6.2.3.drv
/gnu/store/4599fxjgnq4q89zhisac89ryz5l9zxxk-ghc-unordered-containers-0.2.14.0.drv
/gnu/store/4i52a7rzhbvhrdcf6w2lqwk48crdwcwg-ghc-case-insensitive-1.2.1.0.drv
/gnu/store/56lpi2nixl8bq56a0nj4zr23fwb8nni5-ghc-split-0.2.3.4.drv
/gnu/store/59zn1c8rvw4np2yac9llj192ia5n4p57-ghc-hashable-1.3.0.0.drv
/gnu/store/646i5xq4m0kvcf3wh7is7kdzv5s43h8p-ghc-parallel-3.2.2.0.drv
/gnu/store/6a3kkcazcgms1fdlgd69qggziw61xdim-gcc-10.3.0.drv
/gnu/store/6akx2fgxvfm5slflwxjsjgc06cwj4bsj-Agda-2.6.2.1.tar.gz.drv
/gnu/store/6iv4jzffh6fgcc5hp93imm0lv64yvwls-gawk-5.1.0.drv
/gnu/store/72a9ggqys376b8yrir1byvdy0733cxll-glibc-2.33.drv
/gnu/store/7ib0gd4g05gbfw46cmvp73bfqd3d6bbn-file-5.39.drv
/gnu/store/9ai3lrhaksa3a89nykhdbb05ray96jjh-gzip-1.10.drv
/gnu/store/9c2091sld1nv9hbf8gmw2v062m79hj33-ghc-alex-3.2.6.drv
/gnu/store/avv7h58dm04d389s5kz5pxlcnyc1pvsp-make-4.3.drv
/gnu/store/by9w2xgig7sxlb3r35g13cd9wzl1ng08-ghc-aeson-1.5.6.0.drv
/gnu/store/c7w63vg95sazj33nszlj9m1rwfhfqz96-bzip2-1.0.8.drv
/gnu/store/cb36mv3dnvvlgijzn4p24m52v8rzc9l1-guile-3.0.7.drv
/gnu/store/d95jnj3minz3bs6rxpik1w382c8v77hw-ghc-uri-encode-1.5.0.7.drv
/gnu/store/djp4nd4prfj342n8by4g8d3dfg9758h6-ghc-data-hash-0.2.0.1.drv
/gnu/store/dzsarsfcann29qpn2qm5pw7zm5cjhxgr-ghc-boxes-0.1.5.drv
/gnu/store/f8pj4ml9fk0blzj9p8s4wzkacvw11gkk-findutils-4.8.0.drv
/gnu/store/gpsyy220rd6n1njkdin55sz9p6cf44ka-ghc-happy-1.20.0.drv
/gnu/store/hf5d2n6xhf30k9nm999wj65m1wp6kvgm-sed-4.8.drv
/gnu/store/hvq56c5ii11xcykqrn4pcyxaf3nmcw8j-ghc-gitrev-1.3.1.drv
/gnu/store/in4rlv3im8x22ikxcvcnpwdgham5fk93-ghc-strict-0.4.0.1.drv
/gnu/store/j3sfb5lnbw3cd68gskq2izxbgfr3i0r6-ghc-8.10.7.drv
/gnu/store/jvaxzz4ik0qmvg8kgyq9hihqv2a952di-ghc-edit-distance-0.2.2.1.drv
/gnu/store/jwrzdvdy2d21vbhs6xhhx42ap8gyvjan-ghc-murmur-hash-0.1.0.9.drv
/gnu/store/m70zxz4dhf73d48s15q0vqm9dmca0yfw-ghc-async-2.2.4.drv
/gnu/store/mvmf58pacf10bnymcjkyicaw791fhr30-ghc-blaze-html-0.9.1.2.drv
/gnu/store/my6w6sj99prqayr40dqsx2qjm7bb32qs-tar-1.34.drv
/gnu/store/n27ncvyw3br0nl5kvzz32gajy9v5q7ni-grep-3.6.drv
/gnu/store/pcvai9yjzgfi41f4lan2c1s16ji97372-ghc-hashtables-1.2.4.1.drv
/gnu/store/pd8p7cx1qbpgg3msqaky0dvigafxnpcf-module-import-compiled.drv
/gnu/store/rhwjycyxpb1lcvljbdm1zkjq6mzviivj-glibc-utf8-locales-2.33.drv
/gnu/store/v7fbihd5c7nvjaph188rn5dxjqnwd3wz-ghc-equivalence-0.3.5.drv
/gnu/store/x17sa5qgfpj8kg8v0xpq7fv488k2jllf-coreutils-8.32.drv
/gnu/store/y14axzb299yjc8d7s2yhavi63sdfg8jr-linux-libre-headers-5.10.35.drv
/gnu/store/y462c2avv0jscvhxcfraq8k0885dgw7z-ld-wrapper-0.drv
/gnu/store/ydf5rigp79i2hpzz9wi4856wmm01xpgk-binutils-2.37.drv
/gnu/store/ypgcf3rwybzjk1zyxhikp7zxfr13z5b6-bash-minimal-5.1.8.drv

Derivation details

Builder/gnu/store/fzywmbql7438sbfg6qhkh3d9v39357bv-guile-3.0.7/bin/guile
Systemriscv64-linux

Build status

Unknown