/gnu/store/lxqb65an00jsffl41r8a21dx0qy5r145-agda-2.6.2.2.drv

Detail viewFormatted viewPlain viewView JSON

Inputs

File name
/gnu/store/03mgain3hkjsz37i9357nl1mzqwcq45j-gawk-5.1.0.drv
/gnu/store/11dcqk1485v0kaj6i0dr2lpmmybpkjgx-grep-3.6.drv
/gnu/store/1kn41jg06ppyzvr3khrlfh7h6yapizwx-ghc-equivalence-0.4.1.drv
/gnu/store/22knc4hr2732fvbqggn45y03i4fq1rr8-ghc-strict-0.4.0.1.drv
/gnu/store/2bfm81jwh12n45vfzqz85p0d2ydivm4j-ghc-blaze-html-0.9.1.2.drv
/gnu/store/2cfkrhnh586c39y27cqy7v6jg2rlz86y-ld-wrapper-0.drv
/gnu/store/2vbfdvaw00i0v2br0mgfgybf37y58g5w-ghc-zlib-0.6.3.0.drv
/gnu/store/6dbbsy862aqhb5w1c8wkp73cm8rbxcih-bash-minimal-5.1.8.drv
/gnu/store/78n2icaz2sfmvispv5952q63ni9c06n1-patch-2.7.6.drv
/gnu/store/8f1jk0dzysvci8d889k9z6m10zy8kj0g-sed-4.8.drv
/gnu/store/9kcil4w0r5nqlkpmcf0c1imi5g88xz6a-ghc-hashable-1.4.1.0.drv
/gnu/store/9px3wg6lnanhsmpvhbdq58zpr973nzij-ghc-data-hash-0.2.0.1.drv
/gnu/store/add43bygw5smqrrzkzr90nfivihvq483-diffutils-3.8.drv
/gnu/store/ampiyddvz9ygj2l1jnnjkj49h4463rmy-ghc-happy-1.20.0.drv
/gnu/store/b929gbvqf745gn6ayxm652dx6mvzp04a-linux-libre-headers-5.10.35.drv
/gnu/store/bka40rwkh2vq6129q6p2xywzspkfkbql-ghc-monad-control-1.0.3.1.drv
/gnu/store/f4jkpkyrmqlc5s4wil8fi7r751xz63rz-ghc-edit-distance-0.2.2.1.drv
/gnu/store/fxah6w6da7h6qlqfn28v3lh3b0ivpry2-gzip-1.10.drv
/gnu/store/g2ccqv2lb7b9gx3jhbdxc0kapch0i5ms-gcc-10.3.0.drv
/gnu/store/gafsymizxnr8p5j7m3f88k8k8p6r157i-guile-3.0.7.drv
/gnu/store/h02ivmfhfcibrv5gvqfdqv2d9m8fyf2h-ghc-boxes-0.1.5.drv
/gnu/store/ia9yxblb99avidvzy9bdg8i4czcfbqpz-ghc-9.2.5.drv
/gnu/store/id3cv7667cdl0w3lp603v71185bs6pyn-ghc-alex-3.2.7.1.drv
/gnu/store/in84pndw4bjk6xwbm9cwsschjbrpx7v5-ghc-split-0.2.3.5.drv
/gnu/store/irdg20wy6sc81lifc06h26jw8v4105ad-ghc-murmur-hash-0.1.0.10.drv
/gnu/store/jglc21wq6vmx6qvvn6pynyhjrbhw3ipw-ghc-case-insensitive-1.2.1.0.drv
/gnu/store/jrh1lxyy81b1x1rjv042mdqicm3y8xqk-tar-1.34.drv
/gnu/store/jscny2wrylchlmcfixx259m7h6112wcn-module-import-compiled.drv
/gnu/store/jvj06jya0fv7wac1qlsmwp2kqc5cj32j-glibc-2.33.drv
/gnu/store/kgw223qdsazfx1pvnwpqx005zgp31mnn-ghc-parallel-3.2.2.0.drv
/gnu/store/ky5hdpans35gcq0qm1m2j1k6v58fmz13-xz-5.2.5.drv
/gnu/store/pvpifsvqib7m0pfczrffiphbaajb9yx0-ghc-unordered-containers-0.2.19.1.drv
/gnu/store/pvym0ynwijqvwh8j8fmrn30f7hm8n12q-Agda-2.6.2.2.tar.gz.drv
/gnu/store/q5ski6n9jqrcdar0l11lqi24yhplwcn2-file-5.39.drv
/gnu/store/qz7s04idk17kmcqxwjy1r2c2ydxsqp90-findutils-4.8.0.drv
/gnu/store/r5b3nb7v4nq0dd9yai1dhdlqdagwjhh5-ghc-async-2.2.4.drv
/gnu/store/s5dzbfbvvmq8nl8pysqhw2gwxxyc9hqp-ghc-uri-encode-1.5.0.7.drv
/gnu/store/s6pqgq85s4h8bl8cmvk2cpyp1kakbgyg-binutils-2.37.drv
/gnu/store/syzvfji15zrg4axvis16nsxwcdxsn60x-coreutils-8.32.drv
/gnu/store/szxpn2s72kdky70ypkg5hb8pl1zqhwv1-ghc-aeson-2.0.3.0.drv
/gnu/store/v0bsqcb1ih037rs6nb676aik578wnkry-make-4.3.drv
/gnu/store/vvbbvh94hqphp771n0kbjrr9i0k4gkj5-bzip2-1.0.8.drv
/gnu/store/wwix8vpjpjjzy2r8p46aacd5scvcwgyi-ghc-hashtables-1.3.1.drv
/gnu/store/x6cw95iil8647nkpgvn715csdwxcf7w3-ghc-gitrev-1.3.1.drv
/gnu/store/yp4yqd2ckb5cy41s08d489vqlvsv9xkl-ghc-regex-tdfa-1.3.2.drv
/gnu/store/zhrr0q1mgjjjllr7yrqlmif5qsa8kaw1-glibc-utf8-locales-2.33.drv

Derivation details

Builder/gnu/store/1kws5vkl0glvpxg7arabsv6q9vazp0hx-guile-3.0.7/bin/guile
Systemx86_64-linux

Build status

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

Outputs

File name
/gnu/store/vii8qlilkvfkibln896rkx16yrip82r3-agda-2.6.2.2