Build 97f8a781-7456-44a7-a1df-bae4cbdfa6a9 — bordeaux.guix.gnu.org
Derivation
/gnu/store/0mq1qw2g4sv6rim9kwk48shqpzwzl8vy-coq-ide-server-8.17.1.drv
Tags
branch: master
revision: 72ca1a336ab296187a4d025c399fade63004c780
category: package
Submitted at
2024-03-30 23:32:48
State
Succeeded
Agent
f67dd3a7-b2b0-4b80-b2d7-e98e258bf943
Priority
700
View build log