Build e39f28e8-dea4-4222-aadb-df62891c03c8 — bordeaux.guix.gnu.org
Derivation
/gnu/store/pj5yxr55np1qsn1ahw4gyvcfw84nmx5z-coq-core-8.14.0.drv
Tags
Submitted at
2021-12-16 00:22:47
State
Pending
Priority
0