/gnu/store/xsq85gkxq24yk4j9vczjg5881c7vqlg5-agda-2.6.2.2.drv

Detail viewFormatted viewPlain viewView JSON

Inputs

File name
/gnu/store/0s1vasdh8y51c33axn19qysybzhb4na2-sed-4.8.drv
/gnu/store/26kqgw452zg34snw107xbhdb26m79l1i-binutils-2.37.drv
/gnu/store/2kfh5nr8cb68sdd35cz2y56372yhr79m-ghc-unordered-containers-0.2.14.0.drv
/gnu/store/2z65lbdg65jw1dmj2jg0xc7m3j11z71a-make-4.3.drv
/gnu/store/3cxdhy4d8dhdj4g722sn90gmh27cicjr-module-import-compiled.drv
/gnu/store/3qaj00bq9h3wnpm5nxh02zfl0sg9vmqc-bash-minimal-5.1.8.drv
/gnu/store/5anj7g79wlmj02cphd9inpp362gy4dlf-coreutils-8.32.drv
/gnu/store/5nkcww64h6c2jc4dqb82577w9n4mcysw-glibc-utf8-locales-2.33.drv
/gnu/store/5qg6cb9qavzaqi96gfd46nclsb4zjr4p-ghc-edit-distance-0.2.2.1.drv
/gnu/store/73f7pssbzdijdr425d0jr0mkf4g504lg-guile-3.0.7.drv
/gnu/store/7jsr6blzxamcgscchpcx21b1q8782bdy-gcc-10.3.0.drv
/gnu/store/7mlaiqfmrlc8rkps2xn801m4773azcdg-glibc-2.33.drv
/gnu/store/7ncqvhka7w1pcpfy6dwa9pi3pggcgj43-ghc-murmur-hash-0.1.0.9.drv
/gnu/store/7nm28wn1xqamf7bsihp8zx3q71bvqmcg-diffutils-3.8.drv
/gnu/store/7z846ig2lv7q910ayrr3qq2hkbdqzhvj-file-5.39.drv
/gnu/store/7zizy7d6qkjhkj5036yvnx8gbkjfqvxw-gzip-1.10.drv
/gnu/store/8f5j19gl3p9q1kz6wzcwlni9qfq69k0b-ghc-split-0.2.3.4.drv
/gnu/store/9c949mwi4w04r8pxyxml236m4x0ggfjp-ghc-happy-1.20.0.drv
/gnu/store/anw32g11j67py9w3qwmws4fixnxl91ch-ghc-8.10.7.drv
/gnu/store/dn9qbi6x13b37hzd221c0h9bib386n3f-ghc-case-insensitive-1.2.1.0.drv
/gnu/store/fjzcmfq2hdvla2zr69izcxzaw4g0drl6-grep-3.6.drv
/gnu/store/gxm6ag2ssgwnls0jwgivyb0glq8vwgkm-ghc-aeson-1.5.6.0.drv
/gnu/store/h4wyki3227vbf834xdlhljb6jf2spf48-bzip2-1.0.8.drv
/gnu/store/h6f1jfplm9mjf4s2qk987iglppd7rc06-ghc-async-2.2.4.drv
/gnu/store/hg8505zvlrc3zg0xiif350nksjls00vb-ghc-hashtables-1.2.4.1.drv
/gnu/store/hzdq8mqkvfzfsdbc13qma1fdf49j3r7s-linux-libre-headers-5.10.35.drv
/gnu/store/jwpaha0blha6ijgc927qfay7ki0fn8p6-ghc-monad-control-1.0.3.1.drv
/gnu/store/l5r6ry44wnfid5kqryyqnralmmv4v3vv-ghc-boxes-0.1.5.drv
/gnu/store/mk2jl72795jfl2j4zy0nmmwhwsx971v1-tar-1.34.drv
/gnu/store/na4silp6kq4i8f7inzq2dddw0y146rqb-ghc-regex-tdfa-1.3.1.1.drv
/gnu/store/nxz1b9b95b773asq2hy9h8vmnd8873x3-ghc-uri-encode-1.5.0.7.drv
/gnu/store/p3lpi8hs8f6b2gif4jzcrxf1lvxd001m-gawk-5.1.0.drv
/gnu/store/q1jdjw959w6kkrlzajnss9x74kxjbbvq-ld-wrapper-0.drv
/gnu/store/q2zmr9k8kcwfkm61ac78jqayzvalgnck-ghc-strict-0.4.0.1.drv
/gnu/store/q7z31nxv8rg77iq351sq929bfdrdhh28-patch-2.7.6.drv
/gnu/store/r4vqkjmadmsb07jn764p5lc4fghh112g-ghc-hashable-1.3.0.0.drv
/gnu/store/rli5l5cp0vb4fc57dc8vxdx9rz0cgw9k-Agda-2.6.2.2.tar.gz.drv
/gnu/store/rzlmb5ibljsm5i7jisq8k8kwqp3a30na-ghc-alex-3.2.6.drv
/gnu/store/v1540kf8wpqcjvs5wzcrpkzr9x4misnb-ghc-equivalence-0.3.5.drv
/gnu/store/x00sybhhdbrsvxmkm5bi5kgv55r5x4ns-ghc-zlib-0.6.2.3.drv
/gnu/store/xnvg7yjw28vzg6bpn6qdn7x0kky7zgrr-ghc-data-hash-0.2.0.1.drv
/gnu/store/xvpz6bnmqirf61f0ps0gvxzh22xd2ps3-findutils-4.8.0.drv
/gnu/store/y7zxmz8slmfx63s2p8wyyinqxi2rgqy2-ghc-blaze-html-0.9.1.2.drv
/gnu/store/yfcyyhjmw7snvshr1pfpk7pz6l0vmbpb-xz-5.2.5.drv
/gnu/store/yr0x8yyr4kzwa1g0h76vlfnlnk0hhh1m-ghc-parallel-3.2.2.0.drv
/gnu/store/zirjxg635n01ahpidpbi9nd4f2dnajpk-ghc-gitrev-1.3.1.drv

Derivation details

Builder/gnu/store/1kws5vkl0glvpxg7arabsv6q9vazp0hx-guile-3.0.7/bin/guile
Systemx86_64-linux

Build status

Unknown

Outputs

File name
/gnu/store/srbn7wrcgzccbqfkx6mdgcpsxgz42llg-agda-2.6.2.2
/gnu/store/97vlcrkfqaxb96z13xrn6rhfk139d7ck-agda-2.6.2.2-static