/gnu/store/31ch3r68g1bpzkf7qrp7finmc8h83mck-coq-ide-server-8.14.1

Nars

View narinfo details View JSON

Builds

Derivation:

/gnu/store/f0jsn59xvw8b3gd6svga11l2iiaw2qp3-coq-ide-server-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.