/gnu/store/73nvyh4938byjb46sk1smbyqq7cyjaqp-
agda-ial-1.5.0
Nars
View narinfo details
View JSON
Builds
Derivation:
/gnu/store/l5wj3ilh12wrsgn71xk1l1pryvcww89g-
agda-ial-1.5.0.drv