Derivation

/gnu/store/yqvffz2a6yvj19pa949rmxifam25vxsf-agda-categories-0.2.0.drv

Tags

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

Submitted at

2024-10-21 10:14:36

State

Succeeded

• Agent a698e0fe-32d4-42e0-9aa6-9b93d216bcb6

Priority

800

View build log