* nongnu/packages/coq.scm (compcert): Update to 3.11. [arguments]: Remove no longer required phase 'allow-newer-coq-version. |
||
---|---|---|
.. | ||
packages | ||
services | ||
system | ||
ci.scm |
* nongnu/packages/coq.scm (compcert): Update to 3.11. [arguments]: Remove no longer required phase 'allow-newer-coq-version. |
||
---|---|---|
.. | ||
packages | ||
services | ||
system | ||
ci.scm |