Build f195c5d1-3ea8-4597-b230-3960f04dd17c — bordeaux.guix.gnu.org
Derivation
/gnu/store/f3r2lfg5bva0vs1w9fc73s2wxms0pxd6-coq-ide-8.14.1.drv
Tags
Submitted at
2021-12-22 13:12:46
State
Pending
Priority
0