Build 3a432d10-c71b-45bf-b817-575a60392a4e — bordeaux.guix.gnu.org
Derivation
/gnu/store/baggsb6yn17zyaijqsqxhymfzc8g73d6-coq-stdlib-8.14.1.drv
Tags
Submitted at
2021-12-22 13:07:43
State
Pending
Priority
0