diff options
| author | Jonathan Brielmaier <jonathan.brielmaier@web.de> | 2024-11-26 18:28:40 +0100 |
|---|---|---|
| committer | Jonathan Brielmaier <jonathan.brielmaier@web.de> | 2024-11-26 18:29:50 +0100 |
| commit | b03ec159747010602d76b35d5d528835b1fdfcf4 (patch) | |
| tree | 021b8e4df154580dc1c5aad15c84f630b4ed7929 /README.org | |
| parent | 7d912c1c469c5c76e6a311fc20f8e681ae873916 (diff) | |
nongnu: compcert: Update to 3.14.
* nongnu/packages/coq.scm (compcert): Update to 3.14.
[arguments]: Remove no longer required substitute.
Diffstat (limited to 'README.org')
0 files changed, 0 insertions, 0 deletions