/gnu/store/d3i4f2fmm1sx1lcanrls4a1hpmdl8bhq-agda-stdlib-2.1.1-checkout.drv

Detail viewFormatted viewPlain viewView JSON

Inputs

File name
/gnu/store/1dl8n1h1c7f2h1nq602ln1yxwb7zdcc3-git-minimal-2.46.0.drv
/gnu/store/5rc6j7647804ql397v2fg2m01jc23040-guile-gnutls-4.0.0.drv
/gnu/store/alqzrwhn2hcjdd4fpgphca33ywzbhkqg-module-import-compiled.drv
/gnu/store/frgjy7f795qpy4fslryn4ffy85w9v3fw-tar-1.34.drv
/gnu/store/ih3yg6azh8absc74397xl498baw3vhb7-guile-lzlib-0.3.0.drv
/gnu/store/jwfssvlyj6wkzc6lq2qivdvg3fwxmfgp-gzip-1.13.drv
/gnu/store/mpcpqg2z2496phr13mq6p66isj30ps88-guile-3.0.9.drv
/gnu/store/xmmnbv31isfcqpvpx6qzvm24r7qyf02y-guile-json-4.7.3.drv

Derivation details

Builder/gnu/store/xv4cd7qz4yan93zkjisbmbpxfz78hah2-guile-3.0.9/bin/guile
Systemx86_64-linux

Build status

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

Outputs

File name
/gnu/store/xsqaz428lhbvbgv3i0z4mag80xzk1xpx-agda-stdlib-2.1.1-checkout