Build 24ca6119-2a21-4f05-b20c-2c31655b2624 — bordeaux.guix.gnu.org
Derivation
/gnu/store/qhwnhbkh5n8i0qxmv05rmlw3jbg96bbs-coq-ide-8.14.1.drv
Tags
Submitted at
2022-01-15 13:23:31
State
Pending
Priority
0