Derivation

/gnu/store/b3ygpxxzlqp065b0ja071rrdf4400dsv-agda-categories-0.1.7.2.drv

Tags

• branch: master
• revision: c2057a608e4a8a8f9c2c68609b5b00a3acafdf9d
• category: package

Submitted at

2023-07-22 02:31:59

State

Failed

• Agent 0c973ac8-4e62-4889-87b4-31c9536641db

Priority

700

View build log