/gnu/store/m60ncjn4w699bjb4ys4ddmjalp3069k4-
idris-1.3.3.tar.xz.drv
Detail view
Formatted view
Plain view
View JSON
Inputs
File name
/gnu/store/47qy2f9xj4scc57sm5hpz2nxn1kvnga0-
xz-5.2.4.drv
/gnu/store/799sb1fzy20kyjby3pli1zkhxydap98v-
gzip-1.10.drv
/gnu/store/arkrmr7r69bnyg1z19caw4chxg4v01by-
glibc-utf8-locales-2.31.drv
/gnu/store/g2fp27bxdlz1jz5kykh0y0q6ja2wvdqb-
module-import-compiled.drv
/gnu/store/iqllla0dmpryfkyhcvmqsn8ykhnqq0jq-
guile-3.0.2.drv
/gnu/store/rdjrpy8sll75q4jfbwx7spl5qh6wl0p3-
patch-2.7.6.drv
/gnu/store/wglb7x7mxlbr7vhq8jy5i0al6hc9l8w2-
idris-1.3.3.tar.gz.drv
/gnu/store/xagxlqzx53320d7m9viyimhrapzv23m8-
tar-1.32.drv
Derivation details
Builder
/gnu/store/x3gq648qnfnla7nppyfjvj62s2i8y7rl-
guile-3.0.2
/bin/guile
System
aarch64-linux
Build status
Succeeded
View build on https://bordeaux.guix.gnu.org/
Outputs
File name
/gnu/store/p6qmimi86mc7797xqq4r9g2chcsfinza-
idris-1.3.3.tar.xz