/gnu/store/rqjylv6v8dmqbss59w6s28cr3f1zfmzk-
agda-2.6.2.2.drv
Detail view
Formatted view
Plain view
View JSON
Inputs
File name
/gnu/store/0ykryjsvwwqkvrbh0jqyvsp1zfdvpax8-
ghc-regex-tdfa-1.3.1.1.drv
/gnu/store/219i5yc13ma27vc793ifzfi9qbkfxq3i-
make-4.3.drv
/gnu/store/22lxmxai9c3pcvkj12y8sz1kcwclnzc6-
findutils-4.8.0.drv
/gnu/store/2b5h336macy1pp0bxp1hzja4sccm2f38-
grep-3.6.drv
/gnu/store/2wgwx2gcfinfvrh35yy9b1bwwsqj3haq-
sed-4.8.drv
/gnu/store/3j3ww04796z8fg08ik4rsw26pm517435-
ghc-uri-encode-1.5.0.7.drv
/gnu/store/5dsppqglnmgkp817bavd135dfnsgd9sl-
ld-wrapper-0.drv
/gnu/store/6dbbsy862aqhb5w1c8wkp73cm8rbxcih-
bash-minimal-5.1.8.drv
/gnu/store/73kmzc3b5d0y4h2pi4fs6mbyj53qrscs-
gawk-5.1.0.drv
/gnu/store/7cwfb8yraxz8f959rfsgalgf00acrz2m-
gzip-1.10.drv
/gnu/store/7pg4vlp5lgxb0nhbarwrkk9mrmfy7pjs-
ghc-happy-1.20.0.drv
/gnu/store/8f0n9irhqdnjrfn9csgdg7lciiz9w3l7-
ghc-strict-0.4.0.1.drv
/gnu/store/8g9w9jy2kyr3dlirpxprmc449yzkfni2-
ghc-monad-control-1.0.3.1.drv
/gnu/store/9vjqfzsqdz2b3pyr77p3kx8gm72kz6ms-
ghc-parallel-3.2.2.0.drv
/gnu/store/b8b58b98qfvkxn46g36bbj59q8nnrhzw-
ghc-hashtables-1.2.4.1.drv
/gnu/store/b929gbvqf745gn6ayxm652dx6mvzp04a-
linux-libre-headers-5.10.35.drv
/gnu/store/bly5qnmjlnwrfmcvx9ixng8ck3ki9kws-
diffutils-3.8.drv
/gnu/store/c35px28qsg41i88gzf47ksmvmhq8n077-
ghc-8.10.7.drv
/gnu/store/cs5yz3xw532i907z931m0y8zlrpg0kzv-
ghc-blaze-html-0.9.1.2.drv
/gnu/store/di3rwaziyvb0q6s53rs3p2rn29rlsk8v-
guile-3.0.7.drv
/gnu/store/fvv3m7jgg99m2yn3g0rji6agxiyzjkd6-
patch-2.7.6.drv
/gnu/store/g2ccqv2lb7b9gx3jhbdxc0kapch0i5ms-
gcc-10.3.0.drv
/gnu/store/grd48bsrm5qkhcryqwbaw47418njkgd9-
bzip2-1.0.8.drv
/gnu/store/i4v0nk7gb7my6igcizljlrjzyr760jrp-
ghc-aeson-1.5.6.0.drv
/gnu/store/j47yfkbhhxzpjdp2rlp9ig0sx482bfnq-
ghc-boxes-0.1.5.drv
/gnu/store/jvj06jya0fv7wac1qlsmwp2kqc5cj32j-
glibc-2.33.drv
/gnu/store/l8kf1v4qbfy3x6mplcam4z45krjd1kl5-
ghc-unordered-containers-0.2.14.0.drv
/gnu/store/ld16qgxwrwkbkxwzw0bj3ncibrjla4hm-
ghc-zlib-0.6.2.3.drv
/gnu/store/pvym0ynwijqvwh8j8fmrn30f7hm8n12q-
Agda-2.6.2.2.tar.gz.drv
/gnu/store/qd2xz8nn301yz63fbxpm90ipq65q7s2d-
ghc-hashable-1.3.0.0.drv
/gnu/store/r0zy84an729bn7hzf6ax4k6cvaikc27g-
tar-1.34.drv
/gnu/store/r1q16xqh9kr9mci8vfn7nnlzqvaw7z4x-
xz-5.2.5.drv
/gnu/store/s6pqgq85s4h8bl8cmvk2cpyp1kakbgyg-
binutils-2.37.drv
/gnu/store/sdfvf0xk1bwa6fhpra7v89svp1kwvv53-
ghc-async-2.2.4.drv
/gnu/store/v962r5w2kidwzajaia90k4zjd7p3vcqy-
glibc-utf8-locales-2.33.drv
/gnu/store/v9wvnlwc9k8d8ki3ysslqi6f7l53ww0k-
ghc-case-insensitive-1.2.1.0.drv
/gnu/store/vf2mfj44vdww7j847f3wvfs9fwzpvbp9-
ghc-equivalence-0.3.5.drv
/gnu/store/vkkf3vij9ia28zskp25i3fmzf0y5vqya-
file-5.39.drv
/gnu/store/vxkxkcdz6yyaw056aqazlzgvs512dxb8-
ghc-alex-3.2.6.drv
/gnu/store/waqy9vqpwlb35gscn2sss4dxns9qnm3l-
ghc-gitrev-1.3.1.drv
/gnu/store/x48an3yn4anmsjkv8jkrpcz32mjcz9l4-
ghc-edit-distance-0.2.2.1.drv
/gnu/store/xlyf67p5qzapmn0x97qix2v00bd27k01-
ghc-split-0.2.3.4.drv
/gnu/store/y0q960jidrci5p2gmjwc01fsfwlkdrvd-
ghc-data-hash-0.2.0.1.drv
/gnu/store/yky0pjbrk6qy8zzlnvzgxk05wpj28c6a-
ghc-murmur-hash-0.1.0.9.drv
/gnu/store/yn7sfdzamy5q7nnz8cfna5npnc5ssfqs-
module-import-compiled.drv
/gnu/store/zswxrawcshx20ryk5k4ffjfrddh3p0ff-
coreutils-8.32.drv
Derivation details
Builder
/gnu/store/1kws5vkl0glvpxg7arabsv6q9vazp0hx-
guile-3.0.7
/bin/guile
System
x86_64-linux
Build status
Canceled
View build on https://bordeaux.guix.gnu.org/
Succeeded
View build on https://bordeaux.guix.gnu.org/
Outputs
File name
/gnu/store/xk8wjy8r8kdfgs2zrqf9z6hign5mci7n-
agda-2.6.2.2
/gnu/store/dp3yxrwjm8an7dny2rz0g8ycn3ss1xjh-
agda-2.6.2.2-static