/gnu/store/hv9nd3nc2mmy8n4fmyj452lmi7p48ma3-
idris-1.3.3.tar.xz.drv
Detail view
Formatted view
Plain view
View JSON
Inputs
File name
/gnu/store/0s43fkgcvq9c0im87xvxraiq9gfrdclz-
idris-1.3.3.tar.gz.drv
/gnu/store/1b479cmn82a5y03j7a6yzf1yv0s35rps-
gzip-1.10.drv
/gnu/store/cbcllrsw1icksrr3wn3czb4ssdj9z3ga-
glibc-utf8-locales-2.31.drv
/gnu/store/gyvkpcm3vw8cz9zyy8v5wkii9ljbv9dg-
module-import-compiled.drv
/gnu/store/i43vk4k342jrq7vc7pc4hpb39p78q864-
patch-2.7.6.drv
/gnu/store/i6vdh4dgjq63ycr5r4jb8jjc5jz2mrvd-
xz-5.2.4.drv
/gnu/store/smrbggxx7w4l96l2a2qs69srnv4c88jr-
tar-1.32.drv
/gnu/store/yc8d3wi7jx87asbhyci628a9648qpahh-
guile-3.0.2.drv
Derivation details
Builder
/gnu/store/zslki807w05y73wbpnszxpz44fl2yn8b-
guile-3.0.2
/bin/guile
System
i686-linux
Build status
Succeeded
View build on https://bordeaux.guix.gnu.org/
Outputs
File name
/gnu/store/16yswgcy9rwwrydi9xqdpjn7g5rm9xgq-
idris-1.3.3.tar.xz