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

Detail viewFormatted viewPlain viewView JSON

Inputs

File name
/gnu/store/0f37iw8slim3zkmc4mivjk90akl4pdn0-guile-3.0.7.drv
/gnu/store/166hmrx0m3d3r7wcvr9nfdj2qn3mlgbz-ghc-blaze-html-0.9.1.2.drv
/gnu/store/1bil7h5y9d49fhjc44488zsr9dlk96mn-ld-wrapper-0.drv
/gnu/store/1r8mrx5cb87wnx1fipgh1mxgjnryb95x-Agda-2.6.2.1.tar.gz.drv
/gnu/store/229jmlkyw4wk0lg6wdk7hz4h6nnya33n-make-4.3.drv
/gnu/store/2zad5hcl5zn51zg8b2350n2fqb8j03bi-gzip-1.10.drv
/gnu/store/34rvlhklld11r78pmk758280lvdpygi5-linux-libre-headers-5.10.35.drv
/gnu/store/392ckpizwaqg84vnkvlkkr7iqjql4b2a-glibc-utf8-locales-2.33.drv
/gnu/store/3bgncgzmv0dzmjch37ssdrpbkv0ycl96-ghc-aeson-1.5.6.0.drv
/gnu/store/3dm2q06q4xrgbzg5604mfmms1q5xy2kf-ghc-case-insensitive-1.2.1.0.drv
/gnu/store/4m5c97la4mls1wg8c2w78z25qfn8sw2v-ghc-data-hash-0.2.0.1.drv
/gnu/store/4p4jdbvk4vdhmd53g9ynqmyc5qygixgi-bzip2-1.0.8.drv
/gnu/store/6wkrwdzikn6f98l8fb76mc6126prhi95-ghc-strict-0.4.0.1.drv
/gnu/store/73pzq22g61lbwpmz664cjjqsg6sphizz-ghc-monad-control-1.0.3.1.drv
/gnu/store/7sphs0kn8553n4njbcrgsqzsghcx1all-diffutils-3.8.drv
/gnu/store/8yskw1bjdkc4rypaw4jhv9n4nm8h94hr-ghc-8.10.7.drv
/gnu/store/aa097gz8767v1yzvjba340xh2hq4imwr-ghc-split-0.2.3.4.drv
/gnu/store/ac39iprb5b1nv0ba77x26an2dzbwyiqk-tar-1.34.drv
/gnu/store/ajmmafhpmi83ssxg860wd93z9yhhhk5w-gcc-10.3.0.drv
/gnu/store/d59jn4m9dql5mfr1nffxlsh8f9ax5rmd-file-5.39.drv
/gnu/store/dk9h448wkazkg3q7dfw758v1l3zfgj06-gawk-5.1.0.drv
/gnu/store/dyvv11jp7p537ll0i78npnqhm00z6n0w-patch-2.7.6.drv
/gnu/store/g315yd92lmmbavhka8dvd2hxhv3bz2wf-grep-3.6.drv
/gnu/store/g64gx7fnbxdsqzhn28nv0i8iqpl47s04-ghc-zlib-0.6.2.3.drv
/gnu/store/iym3srzbq8ffsiqr5jwr94f9dgvfj4x9-ghc-regex-tdfa-1.3.1.1.drv
/gnu/store/jbs2yayji3vcqj9q59lvk9z9zpff288i-coreutils-8.32.drv
/gnu/store/jl6i68rj4n29mqplp2zgx5vpj07f30lp-findutils-4.8.0.drv
/gnu/store/jvvk8pghzhdd562k68si4p89lynav658-module-import-compiled.drv
/gnu/store/kr0dm2xl75pnhqrds1fwkylkrbzcn8v1-sed-4.8.drv
/gnu/store/l0dqry5n08gf4v3j4wk0sfa4gfnawgnq-ghc-hashable-1.3.0.0.drv
/gnu/store/l44d2f2cpaqs4mvzhplwpfimc9g6w735-ghc-gitrev-1.3.1.drv
/gnu/store/l8nj0dlwnw2cl6sc9gd5c7dbrypxz1rj-binutils-2.37.drv
/gnu/store/lwlksc3zylx121dl0pwphxbrfdjz558v-ghc-equivalence-0.3.5.drv
/gnu/store/m3w3195v2rbbsxxnngff1kv6rp9by0j1-ghc-unordered-containers-0.2.14.0.drv
/gnu/store/m84pn9n0pdlpmba81mmqaaw7xjcw2p38-ghc-hashtables-1.2.4.1.drv
/gnu/store/md64lpxqhd4lw454z4gmdfdzl9pm1zyz-ghc-uri-encode-1.5.0.7.drv
/gnu/store/my5ap7p9c7skz4yh7k8idfjmsr9qm6xj-ghc-edit-distance-0.2.2.1.drv
/gnu/store/pdgkhakmz0cm9a1k6qxws2hh2dgwrjzf-ghc-async-2.2.4.drv
/gnu/store/phr3nshldkr4vk2qq2gx80jr9xhfzsw7-ghc-murmur-hash-0.1.0.9.drv
/gnu/store/pvq37fhw623fqqz3cvayng32ljn48hpx-ghc-happy-1.20.0.drv
/gnu/store/rcqiw0paq0z9917siwcj6xdaydg6w626-ghc-boxes-0.1.5.drv
/gnu/store/xfwjk3hh4f7r538nhm7xcf2xjx1h2plf-bash-minimal-5.1.8.drv
/gnu/store/xk52xqdbjna0is6q653z7wy5ga0mbqbb-ghc-alex-3.2.6.drv
/gnu/store/xma11m4cfxy5ad4qniyb1jnz0qvi3kr0-glibc-2.33.drv
/gnu/store/xnmmbsb09j3qln0gvhqdv2r51mm4vzl4-xz-5.2.5.drv
/gnu/store/xrv0w10hm7nna84wj1fmhy3ywgba1acy-ghc-parallel-3.2.2.0.drv

Derivation details

Builder/gnu/store/rsxyxd2f9jrc6gszbjf3rfzbhwazyrgh-guile-3.0.7/bin/guile
Systemarmhf-linux

Build status

Scheduled
View build on https://bordeaux.guix.gnu.org/

Outputs

File name
/gnu/store/gmld40bgqhz1a5nbdks5gj4f0ivcf04f-agda-2.6.2.1
/gnu/store/vcs1rf3qss0g9zyrcfphyxqh5fv4jq28-agda-2.6.2.1-static