Build f953aed1-e3a4-4fa2-95f9-a5e50e2b8a02 — bordeaux.guix.gnu.org
Derivation
/gnu/store/11nppnfvdhxmwbzzmmnaqqgxwpks8d53-coq-8.17.1.drv
Tags
revision: 25c14c893f05019d746321285acf55d1aa65b943
branch: gnome-team
category: package
Submitted at
2024-03-08 05:59:11
State
Succeeded
Agent
d9ed2db6-ad3c-45f7-92af-81ad973d5de0
Priority
0
View build log