/gnu/store/25jzj1p3lnygf640kbpx4dcdg6m9hb3y-agda-2.5.4.2

Nars

View narinfo details View JSON

Builds

Derivation:

/gnu/store/pzjci2dz3mccr75ziqflp8nbg08r2kvc-agda-2.5.4.2.drv

Copyright © 2016—2020 by the GNU Guix community.
Now with even more λ!

This is free software. Download the source code here.