Build 0a69d34d-db22-441f-837b-5e3f7be090bc — bordeaux.guix.gnu.org
Derivation
/gnu/store/4xanfnxsj2vvndwbhh5gmmdyb3y1mbxw-coq-ide-server-8.17.1.drv
Tags
revision: 1caa0eeee5042f33bc0bb66dc38bed7513cad0fb
branch: gnome-team
category: package
Submitted at
2024-03-17 12:31:49
State
Succeeded
Agent
7470cbd5-f64e-496c-a57b-593543ee4686
Priority
0
View build log