Build 0a69d34d-db22-441f-837b-5e3f7be090bc — bordeaux.guix.gnu.org

Derivation
/gnu/store/4xanfnxsj2vvndwbhh5gmmdyb3y1mbxw-coq-ide-server-8.17.1.drv
Tags
Submitted at
2024-03-17 12:31:49
State
Succeeded
Priority
0
View build log