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

Inputs

File name
/gnu/store/100nplbqlpk9ifcfk7kiq7w2sm72vr9h-sed-4.8.drv
/gnu/store/1fhgazyn3zxy1jm5rwjyrlndbldfw8gi-module-import-compiled.drv
/gnu/store/1fl9kxawswylx7fymff0995swxakzqzr-gawk-5.0.1.drv
/gnu/store/1ziq16zvjk0x98arkym3bmnvlb719v7c-xz-5.2.4.drv
/gnu/store/2jnl1d4zs3vsr77cbq6r9dh9m758ahp1-ghc-hashable-1.2.7.0.drv
/gnu/store/2ym694id2nj0ii8363qxha94gykk6hwy-ghc-regex-tdfa-1.2.3.2.drv
/gnu/store/375q6066vbmmip54ix8wxj52blv748a8-tar-1.32.drv
/gnu/store/3jk7whl33qw23kgcbksrlfc8m9509rc8-findutils-4.7.0.drv
/gnu/store/3jv6sdd6m9rnwx34ljnj3blxixfjkx2n-ghc-boxes-0.1.5.drv
/gnu/store/46yiyq023kg2zmx7m09anqbzk8lkpbq2-ghc-async-2.2.2.drv
/gnu/store/4hgm2qvfn7adf284v3lxsqd0ijcy8k5w-ghc-alex-3.2.4.drv
/gnu/store/5isi4l8f78had48cydgdgn3gv0n8l651-ghc-unordered-containers-0.2.10.0.drv
/gnu/store/74w83agz595d2i00hzyjyvqaibkpwwns-ghc-edit-distance-0.2.2.1.drv
/gnu/store/7g8x6m86fklnync1iwh70d5wd682vwbm-ghc-hashtables-1.2.3.4.drv
/gnu/store/7lgxs6g5rxcjk6pfppf1anag131iyi7z-glibc-utf8-locales-2.31.drv
/gnu/store/7z1cysri5qifxh6hq9xyhgqghiln03id-coreutils-8.32.drv
/gnu/store/8xm8rrnad3imh2hg7f69w2mq63g0nl0g-file-5.38.drv
/gnu/store/9g3kirbw9bvyyvmx8yllkaqbxvrg5nbs-ghc-data-hash-0.2.0.1.drv
/gnu/store/9inah5s759dpns70bz6nwqv9rjgdbhkc-ghc-equivalence-0.3.5.drv
/gnu/store/bjbqqypyg1qc5fz3ykjfmh1mlyy61021-ghc-zlib-0.6.2.1.drv
/gnu/store/c2ly303cbslks8hx3811wa91wahqr295-glibc-2.31.drv
/gnu/store/cpp633nnxw8qvdc96q7vczpgrdcl93ad-ghc-edisoncore-1.3.2.1.drv
/gnu/store/dih94d845zqfg94r2sflxi2hdk6jxwas-bzip2-1.0.8.drv
/gnu/store/dx6wn3gnycz21jq7ipfcpc71nc95hhzf-ghc-exceptions-0.10.3.drv
/gnu/store/f6rliq6i9mrfz3i4wx2y9421rf0018r5-ghc-uri-encode-1.5.0.5.drv
/gnu/store/ga70kbn82dmm6xvi5wkjjlm6rvgn4dbi-ghc-aeson-1.4.5.0.drv
/gnu/store/gzr22cgms45r7xfpfpkbiam3m2fp416v-grep-3.4.drv
/gnu/store/js45fl0yyj0x7ffpsmh4xyk2b18z633w-ghc-filemanip-0.3.6.3.drv
/gnu/store/k04az72690frkzv09hclwcv7r8a69x8m-gzip-1.10.drv
/gnu/store/k36lyvz5daaifv856gq79ybf5af2n4y6-ghc-8.6.5.drv
/gnu/store/l6cy1prldbnx8z51hwxpkj84lqc83rq7-ghc-happy-1.19.12.drv
/gnu/store/n79wmqqjbrad9frbr9ichvjyx84cgy97-ghc-geniplate-mirror-0.7.6.drv
/gnu/store/nxq7cjc9j2q0gpbkjn1x51f7c9a66jij-gcc-7.5.0.drv
/gnu/store/plpndlk4005z9n1dgydkh8qhvv2qwmx0-ghc-blaze-html-0.9.1.2.drv
/gnu/store/q00jzdcj4951c2qygbsj3y99f2v1c2k9-patch-2.7.6.drv
/gnu/store/qlyh06r3i0wnn8rxwgk0v12xbagi9nww-bash-minimal-5.0.16.drv
/gnu/store/rcp035h4z2709p9kd8s97cg7ggbrnvrz-ld-wrapper-0.drv
/gnu/store/rkqf393qh277yxcwjrd87gb1z8w0qpmb-make-4.3.drv
/gnu/store/sl73i8kjrg3h86rnzwghwb2g53j4k484-linux-libre-headers-5.4.20.drv
/gnu/store/sriab49w85307dv4710461rp7a5xgc4m-guile-3.0.2.drv
/gnu/store/v08zgppsmksi7ln04m3jrwx5ylxq3gkj-binutils-2.34.drv
/gnu/store/vdf8bab6c7ghpxmlb9wqx59a4q3y50qb-diffutils-3.7.drv
/gnu/store/vrdhzqs41c4hkxx6lh8rhlwkkmh7alpq-ghc-strict-0.3.2.drv
/gnu/store/vv5kf9vfi566jahrrlnvsfr3q3vw8qwc-ghc-gitrev-1.3.1.drv
/gnu/store/xgy2vd2jzdzlyr1p5hzsf180d0bgaafj-Agda-2.6.0.1.tar.gz.drv
/gnu/store/yjg080fjxgn9bg7aiynh2az8q1fsj1mf-ghc-murmur-hash-0.1.0.9.drv
/gnu/store/zn1c0qcb8vwm85mvxvsc5iwb4gl5lyiw-ghc-ieee754-0.8.0.drv

Derivation details

Builder/gnu/store/0m0vd873jp61lcm4xa3ljdgx381qa782-guile-3.0.2/bin/guile
Systemx86_64-linux

Build status

Unknown