/gnu/store/cfyyifrc438i82wzpjar7l3bfvsd8crq-
idris-1.3.3.tar.xz.drv
Detail view
Formatted view
Plain view
View JSON
Inputs
File name
/gnu/store/1kmx9v545f7s3zxc3lpf672n5azy144m-
gzip-1.10.drv
/gnu/store/30smx25j0vs46w8rhs0l0ya41m7fkn7k-
xz-5.2.4.drv
/gnu/store/50wknqrirnppb5i2nlvbyhhnn8p2y88m-
patch-2.7.6.drv
/gnu/store/87b9lgvy17c0mplx23fdqn9hnxvy1k8g-
tar-1.32.drv
/gnu/store/n4qiww8n1b8086vvw0lmmlrpbby047wi-
glibc-utf8-locales-2.31.drv
/gnu/store/pg7xmb23km1aj7pam1nckq1dlqhzbb89-
guile-3.0.2.drv
/gnu/store/wpnlkfff0inksws65is3jkfmxfzcxckx-
module-import-compiled.drv
/gnu/store/zlslpk9d1snzshf1vyzlpwz1avgic1zd-
idris-1.3.3.tar.gz.drv
Derivation details
Builder
/gnu/store/lgk876wh2bxxglplbwyymkx3sqzcbnk9-
guile-3.0.2
/bin/guile
System
armhf-linux
Build status
Succeeded
View build on https://bordeaux.guix.gnu.org/
Outputs
File name
/gnu/store/mpry8lm7a4kc548y0ln47xn1pz2y39nr-
idris-1.3.3.tar.xz