/gnu/store/2gcx0q2fn3jg8rzh55l4nv2mk5awfwzs-coq-ide-8.14.1

Nars

View narinfo details View JSON

Builds

Derivation:

/gnu/store/f3r2lfg5bva0vs1w9fc73s2wxms0pxd6-coq-ide-8.14.1.drv

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

This is free software. Download the source code here.