/gnu/store/vhs0vbpcf6h2ylblbws609yx2pkkxpv1-agda-stdlib-2.1.1.drv

Detail viewFormatted viewPlain viewView JSON

Inputs

File name
/gnu/store/0lck2jgxhncn8s3zmzrk1yq400nxqkn1-xz-5.4.5.drv
/gnu/store/11wv0w0b22jv57wl7bfg9qwxzkk1c3ll-glibc-2.39.drv
/gnu/store/38af0ig64hjr067lv587v6awrc8xj58f-binutils-2.41.drv
/gnu/store/523d7z94465pyv692pxjmsrd3y6anm0i-ghc-9.2.8.drv
/gnu/store/5zmnm6avqdc5qmvjk33jmq0zna7r0ws7-make-4.4.1.drv
/gnu/store/726z1gr1rnd986dr0i013bnizjva38qv-tar-1.34.drv
/gnu/store/9v5z2q1bacpd1q7jy46mmw8vb8nh2wvc-linux-libre-headers-5.15.49.drv
/gnu/store/crfbg65xy0jhjhdywcr4hd7hpx6zhvjs-ld-wrapper-0.drv
/gnu/store/fyb8bq2jwqxm3pdy7bj07pzqch0qzgc0-bzip2-1.0.8.drv
/gnu/store/h7bbypq4mzqj02z7b6xmllkqqanaq9px-agda-stdlib-2.1.1-checkout.drv
/gnu/store/hlz59hmrj6wc4a9kq5jzzhlq16g60lap-module-import-compiled.drv
/gnu/store/hxyvgri43xlpww3c1k1aagsf1q2d5lpc-sed-4.8.drv
/gnu/store/hy6mxqv890jlpfsckcr5ai5wfxggxyzr-diffutils-3.10.drv
/gnu/store/klqjcq2m096mimv752iq3rgrky9l96ah-findutils-4.9.0.drv
/gnu/store/l3g24la4v9if3rdmznn62ybb6s33249p-bash-minimal-5.1.16.drv
/gnu/store/lqiy92dp2saazrd2has914cp2gj9rrs3-patch-2.7.6.drv
/gnu/store/lw9g3kpw7q5knqk6wsmgrbl3qd7zd577-gawk-5.3.0.drv
/gnu/store/mxk3fi11i68gwpgq2lib1z96j09ghsl8-gcc-11.4.0.drv
/gnu/store/nbxfrsfrjc6jzwps8wxx0bkfknkdkpi6-agda-2.7.0.1.drv
/gnu/store/nfg68mx38cdi9d0j65dprflk1awbs9x6-file-5.45.drv
/gnu/store/pfrm43cd6mndgr7iknldabvj5ffimk7f-grep-3.11.drv
/gnu/store/pjj6baki7n16pmcfcaqzjk7byl37fy6n-zstd-1.5.2.drv
/gnu/store/pnb916ms5z5d6727nl3mvydivawgsyf2-ghc-filemanip-0.3.6.3.drv
/gnu/store/pv2g396agjh96wvbxggkb728yhzscm2m-gzip-1.13.drv
/gnu/store/sdh7n2my5gr0hd7h5657yb7q1nf0l4b6-coreutils-9.1.drv
/gnu/store/y7slnjxhkjzaf13gs4ccjf6sg17f6dj5-guile-3.0.9.drv

Derivation details

Builder/gnu/store/g47dyhp5r1mqk5y542fii9lw19giv855-guile-3.0.9/bin/guile
Systemi686-linux

Build status

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

Outputs

File name
/gnu/store/nvhwrb2kqqdy5q1648x56nx72sk5by3r-agda-stdlib-2.1.1