Build e8d341ad-3d2f-4c55-8437-ebf79f75539b — bordeaux.guix.gnu.org
Derivation
/gnu/store/k881jqfawikgismqxridcslxyam5di6f-coq-ide-8.14.1.drv
Tags
Submitted at
2021-12-22 13:11:05
State
Pending
Priority
0