Build e10cd783-73a2-484a-8119-56eaae8a8987 — bordeaux.guix.gnu.org
Derivation
/gnu/store/bmqz6qrabrsys7kswyp0vi93vqg6wa0r-coq-core-8.14.1.drv
Tags
Submitted at
2022-01-09 12:58:16
State
Pending
Priority
0