Build 4fb7de07-f822-4ca2-bd65-be68a376248f — bordeaux.guix.gnu.org
Derivation
/gnu/store/q2j935w14pngg6qrgw1ddb4fcyyjfl0m-coq-stdlib-8.15.1.drv
Tags
Submitted at
2022-05-02 02:19:33
State
Pending
Priority
0