/gnu/store/k9yjk20xzn6gaq6b9x534pa2vq1lppy7-agda-ial-1.5.0

Nars

View narinfo details View JSON

Builds

Derivation:

/gnu/store/8smwhi07akp4rjwg1pwhjzliyrlckj2n-agda-ial-1.5.0.drv

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

This is free software. Download the source code here.