diff options
author | Jonathan Brielmaier <jonathan.brielmaier@web.de> | 2022-05-26 10:15:27 +0200 |
---|---|---|
committer | Jonathan Brielmaier <jonathan.brielmaier@web.de> | 2022-05-26 10:15:27 +0200 |
commit | b8404abba7b365997ee7abcbc95c6e3008858999 (patch) | |
tree | a5aabe63e775e5e2e135c421ff0583a6f613e12d /COPYING | |
parent | 61ca8018b0e5f8e0b0efb8d0e35a03326fec24c3 (diff) |
nongnu: compcert: Allow build against newer coq version.
* nongnu/packages/coq.scm (compcert)[arguments]: New phase
'allow-newer-coq-version.
Diffstat (limited to 'COPYING')
0 files changed, 0 insertions, 0 deletions