Derivation

/gnu/store/6d5a4a5r6fw94bz78fr9xj1an90ckm05-agda-1lab-0.0-3.afcf848.drv

Tags

• branch: master
• revision: 5794926bed6fad4598bb565fb7f49be4205b11a1
• category: package

Submitted at

2024-10-20 20:36:48

State

Succeeded

• Agent 3089cd9a-ad5a-4e80-9a24-7c9b3a14cfe3

Priority

800

View build log