Build 9cbccd43-78be-4bb3-b9a8-a20f1790937e — bordeaux.guix.gnu.org
Derivation
/gnu/store/72dyfargcrs73zf2xakgshv9jg1gldrw-coq-ide-8.14.1.drv
Tags
Submitted at
2021-12-22 13:08:20
State
Pending
Priority
0