Derivation

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

Tags

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

Submitted at

2023-10-28 06:14:52

State

Succeeded

Priority

0

View build log