diff options
author | Jonathan Brielmaier <jonathan.brielmaier@web.de> | 2022-10-24 21:44:59 +0200 |
---|---|---|
committer | Jonathan Brielmaier <jonathan.brielmaier@web.de> | 2022-10-24 21:44:59 +0200 |
commit | 8fe57ffd7036c14d38f621e1872d37463d1605bf (patch) | |
tree | c3e4b4581eb9ffa8c90c5d9f6d2dc8ce58030fa8 /COPYING | |
parent | 3f00d57adce5d0a185708fd5c7c5ff6f852c2bf7 (diff) |
nongnu: compcert: Fix build with coq@8.16.0.
* nongnu/packages/coq.scm (compcert)[arguments]: Reintroduce the 'allow-newer-coq-version phase.
Diffstat (limited to 'COPYING')
0 files changed, 0 insertions, 0 deletions