/gnu/store/8zqq274rj97f983gk6sy6ld1nrrg328g-coq-flocq-3.4.2

Nars

View narinfo details View JSON

Builds

Derivation:

/gnu/store/wi630x0v9qni2a4108a29a0a1sl1xdbi-coq-flocq-3.4.2.drv

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

This is free software. Download the source code here.