Derivation

/gnu/store/kvnwfmlywmnawd1z9b110mgazlhlzavw-agda-2.7.0.1.drv

Tags

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

Submitted at

2024-10-20 21:28:25

State

Failed

• Agent c9528d11-b1dc-4591-921d-9ea50308f965

Priority

0

View build log