Build ada75a45-c7c3-49af-930c-06734a38c7ef — bordeaux.guix.gnu.org

Derivation
/gnu/store/1fqjlzqv32adrvwiwfca2fwcacn6h5l1-coq-coquelicot-3.4.1-checkout.drv
Tags
  • revision: dba6568e003bf41a49c8502587a22b5710398b3e
  • issue: 71492
  • category: package
Submitted at
2024-06-12 13:55:13
State
Succeeded
Priority
0
View build log