Derivation

/gnu/store/r0y2pw97da3ar6phvyn1vacf6gbmfpl2-coq-8.17.1-checkout.drv

Tags

• branch: master
• revision: 01ee39cfee10583402e9fc252ca5c0e8232435db
• category: package

Submitted at

2024-02-09 04:54:28

State

Failed

• Agent bec2dfd6-9eb0-4f4f-99c1-b90a3d6be39f

Priority

0

View build log