/gnu/store/xzny6wa4xvs543x9v331gyv3jlzdy8i5-
agda-categories-0.2.0-checkout.drv
Detail view
Formatted view
Plain view
View JSON
Inputs
File name
/gnu/store/0lck2jgxhncn8s3zmzrk1yq400nxqkn1-
xz-5.4.5.drv
/gnu/store/54jykl2hpf3w56ajjh1d9n8y7v62y29c-
module-import-compiled.drv
/gnu/store/726z1gr1rnd986dr0i013bnizjva38qv-
tar-1.34.drv
/gnu/store/8hshigmjj22arq3pllbip12vffkp9fns-
agda-categories-0.2.0-checkout.drv
/gnu/store/lqiy92dp2saazrd2has914cp2gj9rrs3-
patch-2.7.6.drv
/gnu/store/pjj6baki7n16pmcfcaqzjk7byl37fy6n-
zstd-1.5.2.drv
/gnu/store/y7slnjxhkjzaf13gs4ccjf6sg17f6dj5-
guile-3.0.9.drv
Derivation details
Builder
/gnu/store/g47dyhp5r1mqk5y542fii9lw19giv855-
guile-3.0.9
/bin/guile
System
i686-linux
Build status
Succeeded
View build on https://bordeaux.guix.gnu.org/
Outputs
File name
/gnu/store/nrphp40jyh2hcazcpwgqfck7grrmpifb-
agda-categories-0.2.0-checkout