/gnu/store/4r1bh6fwawa9za0jjynqgr4mjrzm7ncg-
agda-1lab-0.0-3.afcf848-checkout.drv
Detail view
Formatted view
Plain view
View 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
System
x86_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/srrz6c1im41jq3dcgc5a19blg1hcvpgq-
agda-1lab-0.0-3.afcf848-checkout