/gnu/store/kk9jjxd4wnhyszgmfxrdqlnm4p21244f-
agda-1lab-0.0-3.afcf848-checkout.drv
Detail view
Formatted view
Plain view
View JSON
Inputs
File name
/gnu/store/3qx92mvrr5x0zs8qdpsxd71zfxw0nm4q-
gzip-1.13.drv
/gnu/store/56y7hl5g24inxd73n09mbqlfk6rajhvv-
git-minimal-2.46.0.drv
/gnu/store/hixljndg2jmhhjfk8kybhl35rlm7rlw3-
tar-1.34.drv
/gnu/store/jh3hkc7vvxqy3bn684xpvvzprlbzgc25-
module-import-compiled.drv
/gnu/store/w9m7sr5gwv53vizgdvx8wm4b3vnnyhhp-
guile-json-4.7.3.drv
/gnu/store/wlcyh870mjbl7p2j8pgvjlxjfci7rxf9-
guile-gnutls-4.0.0.drv
/gnu/store/y7slnjxhkjzaf13gs4ccjf6sg17f6dj5-
guile-3.0.9.drv
/gnu/store/zdmgm67clbz8w9zjk08s4zma0a617lpl-
guile-lzlib-0.3.0.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/
Succeeded
View build on https://bordeaux.guix.gnu.org/
Outputs
File name
/gnu/store/srrz6c1im41jq3dcgc5a19blg1hcvpgq-
agda-1lab-0.0-3.afcf848-checkout