Derivation

/gnu/store/rwjcblzjj7h4vrdjmrikvd7im0i7svs1-Agda-2.6.2.2.tar.gz.drv

Tags

• branch: master
• revision: f2a5a326187e2e6e97a00ec6dad740e8528e0764
• category: package

Submitted at

2023-05-11 14:49:05

State

Succeeded

Priority

0

View build log