Derivation

/gnu/store/2ac27xh845zbfv69x4vk8zknhc92hnhk-agda-1lab-0.0-2.549fdb1-checkout.drv

Tags

• revision: 5f0e04443611a328ab6527797f1d2e753d64de31
• issue: 66775
• category: package

Submitted at

2023-10-28 06:15:01

State

Succeeded

Priority

0

View build log