/gnu/store/09bl7kkwlbs2gljv0h13n1589wqy8rd4-agda-2.6.2.1

Nars

View narinfo details View JSON

Builds

Derivation:

/gnu/store/d2h8ryxbz16xhspick6fpj7hvhkqd0ig-agda-2.6.2.1.drv

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

This is free software. Download the source code here.