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

Detail viewFormatted viewPlain viewView JSON

Inputs

File name
/gnu/store/1g73impqihlaim7lnw0sbk24yb6f4rfy-ghc-boxes-0.1.5.drv
/gnu/store/2057dj1fjnazyygfc4bh14gl0f9h2wlr-ghc-happy-1.20.0.drv
/gnu/store/2rd4q0y3z5fnr1z7ijcswb3pznlskpji-ghc-hashtables-1.2.4.1.drv
/gnu/store/3429bskl6dbhl3g2myx1p13lfn3wlwsr-ghc-alex-3.2.6.drv
/gnu/store/490kfzpa3chg61jh7xbb85g81syin7wh-ghc-uri-encode-1.5.0.7.drv
/gnu/store/5cn1fls4jsmh5qhxwk42pn4l25p4ywf5-ghc-equivalence-0.3.5.drv
/gnu/store/67nz1c403zly9pgixkjxrdq3yg96fk9q-ghc-regex-tdfa-1.3.1.1.drv
/gnu/store/6akx2fgxvfm5slflwxjsjgc06cwj4bsj-Agda-2.6.2.1.tar.gz.drv
/gnu/store/6c7gcxhx075kv5x6mlzlcy204k9d82wf-ghc-zlib-0.6.2.3.drv
/gnu/store/73rx4m2rmbd55g4wn4y4g3r59gdfviiv-ghc-monad-control-1.0.3.1.drv
/gnu/store/7bra0zfzdcg9x56yq53i368f2s9lgahm-binutils-2.37.drv
/gnu/store/7xr8qi845hl10ril2v9vsfp8g5ri18xl-bash-minimal-5.1.8.drv
/gnu/store/8dzzkpkk51inv9v6hzxhsvl2h61c1y62-ghc-edit-distance-0.2.2.1.drv
/gnu/store/9a2azgj3ppnmbld9nskq3lr7nf3xpafd-ghc-data-hash-0.2.0.1.drv
/gnu/store/9dlrq5016wv9d7hmj01fsrfk6sz7q1vd-linux-libre-headers-5.10.35.drv
/gnu/store/aal7f8n022h1rs1yfzh8v4j5w6z7mjj6-gzip-1.10.drv
/gnu/store/bas4dcwfhr605y43007gk7gs4xyhps1b-diffutils-3.8.drv
/gnu/store/bb10w9hmq71gbzx4vnfjmvf8q72z4wpn-make-4.3.drv
/gnu/store/cl3ghyb76sghin2ghnaynkczr04007qi-ld-wrapper-0.drv
/gnu/store/dn78g7a1sssqlr90w542sxcd1s2hgjh7-ghc-aeson-1.5.6.0.drv
/gnu/store/g16vz4vlj6jgmr2ysmybcl4hag0j1c4c-glibc-2.33.drv
/gnu/store/g2zjzvzrwyrq9dpx0pmgqrnddnqhy1sv-module-import-compiled.drv
/gnu/store/gl1q7m4bxfa2iigqlbbahic483gjr5vr-ghc-murmur-hash-0.1.0.9.drv
/gnu/store/gyl2d7x7laygbdi1ib5if50dp8w6rqvg-file-5.39.drv
/gnu/store/gyrf4glx8kqb9ncq69cb9ccfb6pa6dmz-grep-3.6.drv
/gnu/store/h58h1j6jbg6wbm5djwisn9f86c336mq5-patch-2.7.6.drv
/gnu/store/hvrh72mnx6mgmrl8bsws3pdnsiw320ls-ghc-8.10.7.drv
/gnu/store/jjjxd8cn79fv0021lp0hnc90yisjrjhc-ghc-strict-0.4.0.1.drv
/gnu/store/k263ljkqbwq0537bbcy92zz2spz9gmic-ghc-parallel-3.2.2.0.drv
/gnu/store/kkzw4kj2hpv1xkwpikc615kgl5s7d9mf-xz-5.2.5.drv
/gnu/store/lqak4r9pqkj4958pf1kv22j779cjadrm-ghc-unordered-containers-0.2.14.0.drv
/gnu/store/lqnv61wamb1df8k24ygvglv2ylk051yw-findutils-4.8.0.drv
/gnu/store/mrl5723pr6517qrhwa3fzxnim9n8kp4p-glibc-utf8-locales-2.33.drv
/gnu/store/mw10m0jj98gvmq42fhygpgw0i6vvckn1-coreutils-8.32.drv
/gnu/store/p60rbisjdh42pyrr6mnafjn6zk9jmphf-sed-4.8.drv
/gnu/store/pmbdiqf7l5796lkk0ma2bx74hi8gbppq-ghc-case-insensitive-1.2.1.0.drv
/gnu/store/q036klvqsp97aybaarl9wlbdxnbqnmjj-bzip2-1.0.8.drv
/gnu/store/q2q13515j53rgfdlhbxvvbv97g4p9w2c-ghc-hashable-1.3.0.0.drv
/gnu/store/r58cw8fwi69bddy6f2szz9kcxk8n139x-guile-3.0.7.drv
/gnu/store/smmch5b7pr1y2z8v1b4lpbap4q8c6fq8-ghc-blaze-html-0.9.1.2.drv
/gnu/store/sp64hvf0spp5zr6510vnfa77pl4fy5w7-gawk-5.1.0.drv
/gnu/store/wgfpx6g1kl1xnpzigv9cl4iriiyph3mf-gcc-10.3.0.drv
/gnu/store/wkx6cdw84bykhhc5pryi4md0q5vm5m70-tar-1.34.drv
/gnu/store/x2h57sqsb3pxs9s0233kgnbvcy26gz13-ghc-gitrev-1.3.1.drv
/gnu/store/x5g3wmkqy29l4skzgb7qacap6i3n3rlj-ghc-async-2.2.4.drv
/gnu/store/ypnm2h3k3516if00d0nqh2d9p645m9pm-ghc-split-0.2.3.4.drv

Derivation details

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

Build status

Unknown

Outputs

File name
/gnu/store/jix9hfsfvcm1ys768j6y75sjck1bzy2q-agda-2.6.2.1
/gnu/store/g7xzbz89a2fph20vz2i423z6nblmnax6-agda-2.6.2.1-static