diff options
author | Jonathan Brielmaier <jonathan.brielmaier@web.de> | 2023-04-05 21:29:25 +0200 |
---|---|---|
committer | Jonathan Brielmaier <jonathan.brielmaier@web.de> | 2023-04-05 21:29:25 +0200 |
commit | 036092e3fbacc83ed785b0620f3f3c8ca580151c (patch) | |
tree | ed45fe122e90b1c943e95c133c55f1895d68c3ed /nongnu/packages/chrome.scm | |
parent | 8ec4b837431b9615a86cfbd5613f24847fa220d0 (diff) |
nongnu: compcert: Update to 3.12.
* nongnu/packages/coq.scm (compcert): Update to 3.12.
[arguments]: Adapt 'allow-newer-coq-version phase.
Diffstat (limited to 'nongnu/packages/chrome.scm')
0 files changed, 0 insertions, 0 deletions