Derivation

/gnu/store/5sq0zp98v5iv28kf3wvzm13785sjlibm-agda-2.6.4.drv

Tags

• branch: master
• revision: 519e1e3eb88ec532fc83ebb742d9919269b57c87
• category: package

Submitted at

2024-01-13 15:47:20

State

Succeeded

Priority

0

View build log