Derivation

/gnu/store/6wjx1s7ffy3dppnpj6s40dvxrmg35hmw-agda-stdlib-2.1.1.drv

Tags

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

Submitted at

2024-10-20 20:57:19

State

Succeeded

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

Priority

800

View build log