Build f953aed1-e3a4-4fa2-95f9-a5e50e2b8a02 — bordeaux.guix.gnu.org

Derivation
/gnu/store/11nppnfvdhxmwbzzmmnaqqgxwpks8d53-coq-8.17.1.drv
Tags
Submitted at
2024-03-08 05:59:11
State
Succeeded
Priority
0
View build log