/gnu/store/rihl19chl3i153dpy0wd2dhvfgnm57jv-coq-coquelicot-3.1.0-checkout.drv

Detail viewFormatted viewPlain viewView JSON

Inputs

File name
/gnu/store/1zcgz93wzl6791wa265xd3b21q3y5g1k-guile-json-4.5.2.drv
/gnu/store/36vr1cfk9yb6bkizb8chvqirridlwp57-git-minimal-2.30.0.drv
/gnu/store/67r5pw7j0nlh1m7iwk362rx1li6bx1hp-module-import-compiled.drv
/gnu/store/ahqn2n7zc4zv4p7c8ayxrmpz3mnabnlf-gzip-1.10.drv
/gnu/store/b7pdymq2zsd1nxgziyl9zy354wx15jkn-tar-1.32.drv
/gnu/store/k1iyjajklnjhnp7cjlys7ldnlqi75crj-guile-zlib-0.0.1.drv
/gnu/store/ly9gzpnmffn4vn71jcm0dlkpm0317nrp-guile-3.0.2.drv
/gnu/store/r16ccrnrgbga0khxmipnljl57sz2f1c6-gnutls-3.6.15.drv

Derivation details

Builder/gnu/store/zslki807w05y73wbpnszxpz44fl2yn8b-guile-3.0.2/bin/guile
Systemi686-linux

Build status

Succeeded
View build on https://bordeaux.guix.gnu.org/
Succeeded
View build on https://bordeaux.guix.gnu.org/
Succeeded
View build on https://bordeaux.guix.gnu.org/
Succeeded
View build on https://bordeaux.guix.gnu.org/
Scheduled
View build on https://bordeaux.guix.gnu.org/
Succeeded
View build on https://bordeaux.guix.gnu.org/

Outputs

File name
/gnu/store/jh2m5wyp835rh090g312hmxkvh2sbvq7-coq-coquelicot-3.1.0-checkout