Derivation

/gnu/store/flblzivsjd9g9j7phxsqp7ayn1mgpwc0-agda-1lab-0.0-3.afcf848-checkout.drv

Tags

• branch: master
• revision: bea5e1e2392a2557c8f01f6fdfffb936af891557
• category: package

Submitted at

2024-10-12 13:30:53

State

Succeeded

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

Priority

0

View build log