Derivation

/gnu/store/qkl38pig3wbjmfgn8wrz2qf5mz1y9ig3-agda-stdlib-1.7.2.drv

Tags

• revision: 4e53b2a511684194fa6f36412b36095babb5d28b
• branch: rust-team
• category: package

Submitted at

2023-08-13 12:26:22

State

Succeeded

• Agent 7470cbd5-f64e-496c-a57b-593543ee4686

Priority

400

View build log