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

Detail viewFormatted viewPlain viewView JSON

Inputs

File name
/gnu/store/0aiivaz5z510yg0yzavr986cgagjw3mk-ghc-alex-3.2.6.drv
/gnu/store/210zk6skz5javilk8pz4mg0m5571bz5n-ghc-gitrev-1.3.1.drv
/gnu/store/4g1rx9s7z1gbmkq6vf1vhjrxa1py0pcw-ghc-aeson-1.5.6.0.drv
/gnu/store/6akx2fgxvfm5slflwxjsjgc06cwj4bsj-Agda-2.6.2.1.tar.gz.drv
/gnu/store/6vxygsr78fdy0cibwxkgyz2x0cd8841b-ghc-hashtables-1.2.4.1.drv
/gnu/store/7bra0zfzdcg9x56yq53i368f2s9lgahm-binutils-2.37.drv
/gnu/store/7xr8qi845hl10ril2v9vsfp8g5ri18xl-bash-minimal-5.1.8.drv
/gnu/store/9dlrq5016wv9d7hmj01fsrfk6sz7q1vd-linux-libre-headers-5.10.35.drv
/gnu/store/9xazinsyza8z14wfm07a39xwsgy5aqg9-ghc-monad-control-1.0.3.1.drv
/gnu/store/aal7f8n022h1rs1yfzh8v4j5w6z7mjj6-gzip-1.10.drv
/gnu/store/asn87kic6qiygnwll7qxq4ph0z2pwryy-ghc-blaze-html-0.9.1.2.drv
/gnu/store/b16nh2d4sp5rgz0gj5f6f9hq9nyf9lg7-ghc-hashable-1.3.0.0.drv
/gnu/store/bas4dcwfhr605y43007gk7gs4xyhps1b-diffutils-3.8.drv
/gnu/store/bb10w9hmq71gbzx4vnfjmvf8q72z4wpn-make-4.3.drv
/gnu/store/c3dy95amgshzpjfc302i5qv96abfpzrp-ghc-happy-1.20.0.drv
/gnu/store/cl3ghyb76sghin2ghnaynkczr04007qi-ld-wrapper-0.drv
/gnu/store/clxzil5dpw04kqygyxsii71mxnr5j9wx-ghc-regex-tdfa-1.3.1.1.drv
/gnu/store/d4zlplvwsxvxppv3z0waqxywwv4683yh-ghc-unordered-containers-0.2.14.0.drv
/gnu/store/f1hw9gzq9f15zjwij4h00xp704y5532z-ghc-zlib-0.6.2.3.drv
/gnu/store/fjg3i3yv7whkhy3ng36sinhxk3h9h9zd-ghc-edit-distance-0.2.2.1.drv
/gnu/store/fpgnv6s6s1rva3q0riqnfiv8flza3a1w-ghc-async-2.2.4.drv
/gnu/store/g16vz4vlj6jgmr2ysmybcl4hag0j1c4c-glibc-2.33.drv
/gnu/store/g2zjzvzrwyrq9dpx0pmgqrnddnqhy1sv-module-import-compiled.drv
/gnu/store/g82zg9ghkai4if2p6043f03czy5hkkj8-ghc-boxes-0.1.5.drv
/gnu/store/gcg3w9c9m9rc0g1aq8rvfvm1dgw4wrq6-ghc-8.10.7.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/j947ll3hzphbgwf3f5crq8kbmpa6jpvd-ghc-strict-0.4.0.1.drv
/gnu/store/kkzw4kj2hpv1xkwpikc615kgl5s7d9mf-xz-5.2.5.drv
/gnu/store/l4dsmlr07jgnfdlpa0dx2x5avz5rh9mx-ghc-equivalence-0.3.5.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/njrc7j2y00p39qihsr9p1ws0jr0jf1ya-ghc-data-hash-0.2.0.1.drv
/gnu/store/p60rbisjdh42pyrr6mnafjn6zk9jmphf-sed-4.8.drv
/gnu/store/q036klvqsp97aybaarl9wlbdxnbqnmjj-bzip2-1.0.8.drv
/gnu/store/r37vb1s3dd8j6lval9fnfqqw1vcwxc0a-ghc-split-0.2.3.4.drv
/gnu/store/r58cw8fwi69bddy6f2szz9kcxk8n139x-guile-3.0.7.drv
/gnu/store/rv4hyki1vhf0sgfs5jgs17m500ybmfag-ghc-murmur-hash-0.1.0.9.drv
/gnu/store/sp64hvf0spp5zr6510vnfa77pl4fy5w7-gawk-5.1.0.drv
/gnu/store/w7dr1hk137sblxkxfbwlwhxj057ayajc-ghc-uri-encode-1.5.0.7.drv
/gnu/store/wgfpx6g1kl1xnpzigv9cl4iriiyph3mf-gcc-10.3.0.drv
/gnu/store/wkx6cdw84bykhhc5pryi4md0q5vm5m70-tar-1.34.drv
/gnu/store/wpknk79pgwzpi61yxrdhydblfwh73fwl-ghc-case-insensitive-1.2.1.0.drv
/gnu/store/x13dk446g9gcfjb1sab0ffpih86k98n6-ghc-parallel-3.2.2.0.drv

Derivation details

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

Build status

Unknown

Outputs

File name
/gnu/store/bm5b1zn0slx9a3jl0zp0bjrvvrap2hg7-agda-2.6.2.1
/gnu/store/8iyssap0qh20c50c4i8avrpclhihv0fa-agda-2.6.2.1-static