/gnu/store/6d5a4a5r6fw94bz78fr9xj1an90ckm05-
agda-1lab-0.0-3.afcf848.drv
Detail view
Formatted view
Plain view
View JSON
Inputs
File name
/gnu/store/2xk4n1d7rdrzvwczcmzq0bqwzp7bmidp-
agda-1lab-0.0-3.afcf848-checkout.drv
/gnu/store/5n3f7nf4d9xpwdz2hniqrpv1z6a0lcnn-
guile-3.0.9.drv
/gnu/store/7a5xz9wgrdgajznfgz8dcvl0mpkngwa9-
agda-2.7.0.1.drv
/gnu/store/r02s2p72mayazn1xqkfcpvq7jhyiir21-
module-import-compiled.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/
Outputs
File name
/gnu/store/224pa00p2sjnkszyl5bng9p2jnyz7700-
agda-1lab-0.0-3.afcf848