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

Inputs

File name
/gnu/store/089sg4x40p2mxkirkplgn00pnv7xcvsz-ghc-unordered-containers-0.2.10.0.drv
/gnu/store/100nplbqlpk9ifcfk7kiq7w2sm72vr9h-sed-4.8.drv
/gnu/store/1fhgazyn3zxy1jm5rwjyrlndbldfw8gi-module-import-compiled.drv
/gnu/store/1fl9kxawswylx7fymff0995swxakzqzr-gawk-5.0.1.drv
/gnu/store/1wa6fnybf9xy0vhckrpr7q485drzna1v-ghc-hashable-1.2.7.0.drv
/gnu/store/1ziq16zvjk0x98arkym3bmnvlb719v7c-xz-5.2.4.drv
/gnu/store/23lks46r6vm5l31pr61x2agbhadglp0s-ghc-ieee754-0.8.0.drv
/gnu/store/375q6066vbmmip54ix8wxj52blv748a8-tar-1.32.drv
/gnu/store/3832090km68wgbbyc188l5dv0mbbz6c2-ghc-gitrev-1.3.1.drv
/gnu/store/3jk7whl33qw23kgcbksrlfc8m9509rc8-findutils-4.7.0.drv
/gnu/store/6yi6a7lz22dh1m9n14h58nx0d553dmiv-ghc-data-hash-0.2.0.1.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/8za10ic9z8hki74b77x2xj6k3dg263yj-ghc-geniplate-mirror-0.7.6.drv
/gnu/store/926kwb5xzli4xmc2j3xrghpyv2pzlspg-ghc-exceptions-0.10.3.drv
/gnu/store/949zrkhcbh8q08bhp7dir08qan7rvik5-ghc-blaze-html-0.9.1.2.drv
/gnu/store/b69rimkg8ipyd87fm3ah1laila089xyq-ghc-alex-3.2.4.drv
/gnu/store/bngkv2qcq5w3k9ma1l4q2i932c6fg4kn-ghc-8.6.5.drv
/gnu/store/c2ly303cbslks8hx3811wa91wahqr295-glibc-2.31.drv
/gnu/store/dih94d845zqfg94r2sflxi2hdk6jxwas-bzip2-1.0.8.drv
/gnu/store/g09lyj0fh4iz8f26mnhhg91a4b0fnlfr-ghc-filemanip-0.3.6.3.drv
/gnu/store/gzr22cgms45r7xfpfpkbiam3m2fp416v-grep-3.4.drv
/gnu/store/h030gs9vgjxxlzigj3zd2qwn7z6q59dn-ghc-hashtables-1.2.3.4.drv
/gnu/store/i994bsqyf37rj29jjwsdcajlq0bh6b4r-ghc-aeson-1.4.5.0.drv
/gnu/store/izxlqambyvckr42hwawj1nqn2xran8dr-ghc-edit-distance-0.2.2.1.drv
/gnu/store/jkr0rgfw9z7kv6zkb8nfr4adgcx2ddk8-ghc-edisoncore-1.3.2.1.drv
/gnu/store/k04az72690frkzv09hclwcv7r8a69x8m-gzip-1.10.drv
/gnu/store/kazqprypa9yiwlglhdzz6fqpgaycl0la-ghc-zlib-0.6.2.1.drv
/gnu/store/kjmy5qm8kad22q2mv4sq6bzhlwlrlpj4-ghc-uri-encode-1.5.0.5.drv
/gnu/store/m0dg6x4ljw6mfpqnm87wis1xga6w1fm8-ghc-happy-1.19.12.drv
/gnu/store/nxq7cjc9j2q0gpbkjn1x51f7c9a66jij-gcc-7.5.0.drv
/gnu/store/q00jzdcj4951c2qygbsj3y99f2v1c2k9-patch-2.7.6.drv
/gnu/store/qi92g0xyl77iriyyfjj3zp4ij6k8f317-ghc-async-2.2.2.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/sik5jj7i530k7zyf93w81bq5l0c7l0zm-ghc-strict-0.3.2.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/v43ky510gpd45ig0af7dpv74j6dxp3xg-ghc-murmur-hash-0.1.0.9.drv
/gnu/store/vdf8bab6c7ghpxmlb9wqx59a4q3y50qb-diffutils-3.7.drv
/gnu/store/wwwb80rn3iz81nvanvwysvcpnbls714k-ghc-boxes-0.1.5.drv
/gnu/store/xgy2vd2jzdzlyr1p5hzsf180d0bgaafj-Agda-2.6.0.1.tar.gz.drv
/gnu/store/yh22kfkpzi6bhhx6s83j2hfgsh6qlvrg-ghc-regex-tdfa-1.2.3.2.drv
/gnu/store/zavz16iyhwkl8n877psy3v18k3y9mfgw-ghc-equivalence-0.3.5.drv

Derivation details

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

Build status

Unknown