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 /nongnu/packages/video.scm | |
| 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 'nongnu/packages/video.scm')
0 files changed, 0 insertions, 0 deletions