Build 8569dddd-65c0-46bf-95e4-97ff382be9b8 — bordeaux.guix.gnu.org
Derivation
/gnu/store/p9rz97wms3dg25svyz3mm8hi4x06jh6n-coq-equations-1.2.3.drv
Tags
Submitted at
2021-06-18 15:45:09
State
Pending
Priority
0