/gnu/store/spghvb5zbjcfb3vn2bvgypn7q4wiq352-
agda-ial-1.5.0
Nars
View narinfo details
View JSON
Builds
Derivation:
/gnu/store/rgih72p1kwcw3s2vf6mgkjqsmkzk7nf9-
agda-ial-1.5.0.drv
Derivation:
/gnu/store/vx4h4y8f0zbwf4s9w6nn93xmf6pj1mgv-
agda-ial-1.5.0.drv
Derivation:
/gnu/store/7wnv319l5lpzwnns6lss16j43f8a3grz-
agda-ial-1.5.0.drv
Derivation:
/gnu/store/rxj7s9rdpy25iknjy9wh1nwrij2vx40k-
agda-ial-1.5.0.drv