Build 97f8a781-7456-44a7-a1df-bae4cbdfa6a9 — bordeaux.guix.gnu.org

Derivation
/gnu/store/0mq1qw2g4sv6rim9kwk48shqpzwzl8vy-coq-ide-server-8.17.1.drv
Tags
Submitted at
2024-03-30 23:32:48
State
Succeeded
Priority
700
View build log