Build 946a6408-73b2-4494-a853-e14187fcaa72 — bordeaux.guix.gnu.org
Derivation
/gnu/store/582dkmnf05xjvdjvj1sx2w1dmj755vxp-coq-coquelicot-3.4.1-checkout.drv
Tags
revision: dba6568e003bf41a49c8502587a22b5710398b3e
issue: 71492
category: package
Submitted at
2024-06-12 13:55:11
State
Succeeded
Agent
bc5f3585-03f9-4ab3-8604-6acc89512fba
Priority
0
View build log