Derivation

/gnu/store/skw9na2n25afcqgn5dwza8nkkglgx6rm-agda-ial-1.5.0-1.ded30c4.drv

Tags

• branch: master
• revision: 40b6729fd78ea53ac339257aea798d625e16894d
• category: package

Submitted at

2024-11-08 05:57:06

State

Succeeded

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

Priority

0

View build log