Derivation

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

Tags

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

Submitted at

2024-11-08 10:10:45

State

Succeeded

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

Priority

800

View build log