/gnu/store/d6vb49fzq6bv4iv7lrdhj2hsk4crjwr8-agda-2.6.0.1.drv

Detail viewFormatted viewPlain viewView JSON

Inputs

File name
/gnu/store/0prj3lhr462fcb9kqnjk7f73jc2s34l0-ghc-data-hash-0.2.0.1.drv
/gnu/store/17n4gi5f2dlpwv5yamqw79mpnwa0b4zg-tar-1.32.drv
/gnu/store/2vjmh3829zpqcldfjbcq8cmn1990vg3r-ghc-equivalence-0.3.5.drv
/gnu/store/3n9hc7yx2mqg5w52ig22q6dpd7jmln21-make-4.3.drv
/gnu/store/4z202j54wwv9124ch38f04lhxvjssydg-grep-3.4.drv
/gnu/store/5a1plj1z7b5k4jj3ww3w1g50snqmvfdz-ghc-hashable-1.2.7.0.drv
/gnu/store/5azbsncr6xsvq0r3lly5ajkhq3yyzgj4-ghc-async-2.2.2.drv
/gnu/store/5irkqmx7azw52lqk2acak6bsjdspn9q3-ghc-gitrev-1.3.1.drv
/gnu/store/5p8z32nxr8c897b9mcv6p42z6jjs7q4r-ghc-boxes-0.1.5.drv
/gnu/store/6gs837v37mlkwp0iz7ygia5xc5849cb4-ghc-alex-3.2.4.drv
/gnu/store/71wiwhw1gkv43rss2ayk55i7di9rfdb6-sed-4.8.drv
/gnu/store/8rnc3bp90w8m5jz4ncggx7i3zqm72w2i-glibc-utf8-locales-2.31.drv
/gnu/store/8yhl0fnc4spkg5k72509w8cjjhphwzyb-ghc-happy-1.19.12.drv
/gnu/store/99xvjhncirdaq9k8gfc34yzc74f95mcg-ghc-aeson-1.4.5.0.drv
/gnu/store/a2b4hbj5b3k7x3zspp62z2dzl2rcjpmq-ghc-unordered-containers-0.2.10.0.drv
/gnu/store/bpxr2wnfv16xmqa0p011764jbiskrp75-bzip2-1.0.8.drv
/gnu/store/f2fhny4s11fscvfcvhg1gpb8iyl9av2l-ghc-hashtables-1.2.3.4.drv
/gnu/store/g06mlkl74if539jlvxcwz12xv27gixqj-binutils-2.34.drv
/gnu/store/g7llm64iq0zbz9s1fsf0ny64fiwy2gm5-gzip-1.10.drv
/gnu/store/gn6lnxz8s6kycdcxkqsxkw7lh6kcm78f-coreutils-8.32.drv
/gnu/store/gq1xbalnfqgy3c7wk0idjgbwkb2c3vbb-guile-3.0.2.drv
/gnu/store/gwfx7rf8c4l9wg1g90sximkvs9dyisxq-file-5.38.drv
/gnu/store/i6k71jbn3kpqlfxpy7a9nm674myz7vcw-ghc-blaze-html-0.9.1.2.drv
/gnu/store/j31ykbb5jwig0jk48250nj0x4g29cfqk-bash-minimal-5.0.16.drv
/gnu/store/jv45p8505digv4f7dz0vgp34iw58yx79-ghc-edisoncore-1.3.2.1.drv
/gnu/store/jvgx83v22yqay9203mkpic777ms6xwg3-module-import-compiled.drv
/gnu/store/k4qm00h9vd382iy6cmx4ngs5jfmchc2h-ghc-strict-0.3.2.drv
/gnu/store/k5rgkb4h5rnzmj7rhkgzcbg56js3f1n9-diffutils-3.7.drv
/gnu/store/kj5vmkpy547jp7hl7l9lwsgdn86mb6wz-ghc-edit-distance-0.2.2.1.drv
/gnu/store/l33w9hmpi7aiq7kam8pryw3z2prv7dw6-patch-2.7.6.drv
/gnu/store/mdyzhg7my76p87f2hl89im0f9i893z9a-xz-5.2.4.drv
/gnu/store/mw4lg7jcqa8phnpvl4a62mk4gxwiwv0s-ghc-uri-encode-1.5.0.5.drv
/gnu/store/npzmkc3qsnh010p25aw1p7c3w8aphr58-ghc-zlib-0.6.2.1.drv
/gnu/store/pxdr7rf67qrw00k6sfqqxpczd6av73w0-gawk-5.0.1.drv
/gnu/store/qkqn53y0hwaf8ng9j5d2qajibp9fivcf-Agda-2.6.0.1.tar.gz.drv
/gnu/store/qr31kqmdany1yq0pprpvv9mq3dni9840-glibc-2.31.drv
/gnu/store/rbqpym91ayb8w9vz62ghxiwg3s9vwzif-hurd-core-headers-0.9-1.91a5167.drv
/gnu/store/s082sbkh2n2aaaj6naz1yl6hzspqkkiq-gcc-7.5.0.drv
/gnu/store/s1b11yci6mdwl1cqf1kv6p0zkw1r7xgp-ghc-regex-tdfa-1.2.3.2.drv
/gnu/store/slry6hxnq3rfhc4lsa2hpf1xgbynpvdl-ghc-ieee754-0.8.0.drv
/gnu/store/v1sysfm7acgd3qh0f1a0syc2hga14h5h-ghc-murmur-hash-0.1.0.9.drv
/gnu/store/v2yhhfwa01fz0h4hlv33x9xik7nnc5y8-findutils-4.7.0.drv
/gnu/store/wafl4jqh1l0w3sillj2gqid9sz7653h1-ghc-filemanip-0.3.6.3.drv
/gnu/store/wck92w0a4cq96iw23xhcbdkk9334vc85-ghc-exceptions-0.10.3.drv
/gnu/store/x9s8yhbfyw63q9vqvw7h0ra5pb6bxmgz-ghc-geniplate-mirror-0.7.6.drv
/gnu/store/xav1cj988nj6njsmhd543v52nhph28fs-ld-wrapper-0.drv
/gnu/store/y2c0abzpqazybffkbsk52i5qzk4pcasv-ghc-8.6.5.drv

Derivation details

Builder/gnu/store/q42i7lrbp442pr88r0ayd9mm5dry7zll-guile-3.0.2/bin/guile
Systemi586-gnu

Build status

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

Outputs

File name
/gnu/store/7jqa9vxgqnwzs0222wv4mwkhqdf94k7l-agda-2.6.0.1
/gnu/store/phldsp03ndp6q74wy8i54i9900hd51n2-agda-2.6.0.1-static