Derivation

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

Tags

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

Submitted at

2024-04-04 22:20:43

State

Failed

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

Priority

0

View build log