/gnu/store/1xj7hzyrsbm3kl0pbd2g70dndgp7xfh7-coq-core-8.14.1

Nars

View narinfo details View JSON

Builds

Derivation:

/gnu/store/gp9h1a05mq9w6yhzgs60sqicddynir7p-coq-core-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.