/gnu/store/a7x1rnhhpggs3cnnhnr8hh44kgxddrf5-agda-2.5.4.1.drv

Detail viewFormatted viewPlain viewView JSON

Inputs

File name
/gnu/store/01vdny1sg39zi6vyjzh3azs31r9lfq4p-cpphs-1.20.8.drv
/gnu/store/1s8nrs4mx713gyvd97zzy1qsgrrlpkyp-ghc-filemanip-0.3.6.3.drv
/gnu/store/46b6kkdw6h27wf4h1n97pj9a0036b249-ghc-edit-distance-0.2.2.1.drv
/gnu/store/5w4vcaj43aakrvsvdsy2ia8hjmmzfqbh-ghc-parallel-3.2.2.0.drv
/gnu/store/6vq0irscy0fns4gbw3gmn2pyjfgcxd2v-gcc-5.5.0.drv
/gnu/store/84ckcgaaffi0wjyikpb714ny25k7rvmx-ghc-data-hash-0.2.0.1.drv
/gnu/store/8ddvlwy4dz85f7jmflq17854lg2kqnlh-ghc-edisoncore-1.3.2.1.drv
/gnu/store/8j86id0vayq7vzw6iysmvg9psnypala4-findutils-4.6.0.drv
/gnu/store/93b56ixpjwk0krq1xxblh82m92jnkzz0-ghc-geniplate-mirror-0.7.6.drv
/gnu/store/9pf7prjgrqdig7yx1dm02qrr0k3p6w18-ghc-hashable-1.2.7.0.drv
/gnu/store/aa0jsmr3hpsld84vzcmk4gvimixa7mjv-grep-3.1.drv
/gnu/store/adni03a2g4lsj5s4jssxj7vl3qkzbkf2-binutils-2.31.1.drv
/gnu/store/bcw1zpfkvpy3ya7mpr8n4qxx45dyjhv3-patch-2.7.6.drv
/gnu/store/bi1455xzj7gxs9b1ww9w77yk88gqzips-tar-1.30.drv
/gnu/store/c20pwkwry1l4b0y6h26455xmp4kz2c8b-ghc-blaze-html-0.9.1.1.drv
/gnu/store/c4sy40ld8fy2j1agkjx7grjih6i0irrl-coreutils-8.30.drv
/gnu/store/cdjdk29yhhfr8dl0jcc5jp721gqzw8xx-ghc-happy-1.19.9.drv
/gnu/store/chiznnzbg3xsv3qv5cxkslqs4z4q9ddz-Agda-2.5.4.1.tar.gz.drv
/gnu/store/dc89m2iwqwimvik36n3n4ccp66b3qc9x-glibc-2.28.drv
/gnu/store/dqws4rz9js6zsyvikc24vrjcqify5g79-ghc-hashtables-1.2.3.1.drv
/gnu/store/fwj45s1s51vcyz050cyyynbi7df9kqfz-file-5.33.drv
/gnu/store/ghdkip9a246n24qbv5wcsn9z6kz01fl6-ghc-equivalence-0.3.2.drv
/gnu/store/hcmyqgkamyvi1wh7228x6mqa3w8rg04c-ghc-unordered-containers-0.2.9.0.drv
/gnu/store/hiv20rmq3glc6fj72bkpgpgffnv307gh-ghc-async-2.2.1.drv
/gnu/store/i1dbpcygycfwgklbr809g7c16m19c0c5-diffutils-3.6.drv
/gnu/store/irdz37acycngnra41d1sz0gvj0ll8bcw-ghc-gitrev-1.3.1.drv
/gnu/store/iylpgz51jyf9cbz0x92q0iazxgl5gfl6-ghc-uri-encode-1.5.0.5.drv
/gnu/store/j5yq674rkfqqv56kbl10f3w74d3cv6sf-glibc-utf8-locales-2.28.drv
/gnu/store/jngl3gl62cpj10iflg7dxs2yhq6y2m65-ghc-text-1.2.3.0.drv
/gnu/store/kppr9r2irbzmgc4i5smfj6pwgfvsf9ca-linux-libre-headers-4.14.67.drv
/gnu/store/kynfxsspw3x7j6qsia6m56bf5mfz2m5f-ghc-strict-0.3.2.drv
/gnu/store/mgx6izhfj91zvv3jdp446lg8ggj0pnfb-guile-2.2.4.drv
/gnu/store/mhcnfw6gs8qkif2f40k501gjirzba82x-ghc-boxes-0.1.5.drv
/gnu/store/mzj57jhr1g7d17qsv9y9mrgwylpirjbs-gzip-1.9.drv
/gnu/store/n5s1i58arsyy1y7q05q79hs0ns3gqsw3-ghc-murmur-hash-0.1.0.9.drv
/gnu/store/nc3gfybyl16whnxh08vq0823clb7zh8x-ghc-regex-tdfa-1.2.3.1.drv
/gnu/store/p1a4pi63axpna74jn1d3fh3r09mdc8bb-ghc-ieee754-0.8.0.drv
/gnu/store/pgv52js4kh791gc5n4yf5wq82q870iqr-gawk-4.2.1.drv
/gnu/store/pjzim7z88gzdki7dicxa9nfihgg749sd-bash-minimal-4.4.23.drv
/gnu/store/q8ywah8748bmz7mz0nq1i5p3w3dnli46-ghc-stm-2.4.5.0.drv
/gnu/store/qmahy4ybk3wpx3565p4hl7smkin50f16-ghc-alex-3.2.4.drv
/gnu/store/r1n729qwq32w7gyw8fniqakccq003bkg-ghc-zlib-0.6.2.drv
/gnu/store/rk6wi68rvqqwibfnnm6i8aak3fa75375-ld-wrapper-0.drv
/gnu/store/snfjazbx23p3g3q62jjhjlhadng2hgk7-ghc-8.4.3.drv
/gnu/store/wgwdg7dcr2dl71bnbvg7k9ff7rz81q90-sed-4.5.drv
/gnu/store/wi55icm6ggybgmqf3l7pzc64nal6fgmd-bzip2-1.0.6.drv
/gnu/store/wywqgpy3n4mv6ykgg49fa1jvprfc1czj-module-import.drv
/gnu/store/x94i0skrvv6zxdpas09gh4bl1il5di92-make-4.2.1.drv
/gnu/store/xg9v0hvd96zs8nwziki89yz613d88xvc-xz-5.2.4.drv
/gnu/store/zbdjwk2z4ammx5qfl2f1s1ww1j61fj7s-module-import-compiled.drv

Derivation details

Builder/gnu/store/jxx6v3ng1mvbhdlqbbr8xahs5rgadd02-guile-2.2.4/bin/guile
Systemaarch64-linux

Build status

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

Outputs

File name
/gnu/store/yiv4wzd8ann0jjzdzf5r0qgdsqhnf9zj-agda-2.5.4.1