/gnu/store/3lf78s0jl9rxjbra8a38vl2635zhx0hn-agda-2.6.0.1-static

Nars

View narinfo detailsView JSON

Builds

Derivation:

/gnu/store/f026ha5jvgq3xy2l0m0cnygnvgpsy4l7-agda-2.6.0.1.drv

Derivation:

/gnu/store/6byv5bjjng03c3kv3bd94vpgh4lqljb9-agda-2.6.0.1.drv

Derivation:

/gnu/store/2z316vz5b267hd2708xplfchyy14020n-agda-2.6.0.1.drv