Derivation

/gnu/store/7a5xz9wgrdgajznfgz8dcvl0mpkngwa9-agda-2.7.0.1.drv

Tags

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

Submitted at

2024-10-20 20:36:52

State

Succeeded

• Agent d64dc00d-1cf6-49ec-8342-1ce9ecca0b09

Priority

0

View build log