diff options
| author | Jonathan Brielmaier <jonathan.brielmaier@web.de> | 2021-10-27 01:26:47 +0200 |
|---|---|---|
| committer | Jonathan Brielmaier <jonathan.brielmaier@web.de> | 2021-10-27 01:26:47 +0200 |
| commit | 0ce5f43c247e1b9e05d7a486d0aa4bbfe4f817fe (patch) | |
| tree | a5fe988368e10dc82192c43a9d62356d32ef2d59 /README.org | |
| parent | 5c39f01d2097808967f93e128dc596771a299ea1 (diff) | |
nongnu: compcert: Update to 3.9.
* nongnu/packages/coq.scm (compcert): Update to 3.9.
Diffstat (limited to 'README.org')
0 files changed, 0 insertions, 0 deletions