Derivation

/gnu/store/38g0babfp443f5xb5wfd6lzwql89pm1y-lean4-4.17.0.drv

Tags

• branch: master
• revision: a9e9fec07b0615c882d74ad4457a783104568ebc
• category: package

Submitted at

2025-12-06 04:05:04

State

Succeeded

• Agent d64dc00d-1cf6-49ec-8342-1ce9ecca0b09

Priority

700

View build log