diff options
author | Jonathan Brielmaier <jonathan.brielmaier@web.de> | 2021-12-17 17:20:44 +0100 |
---|---|---|
committer | Jonathan Brielmaier <jonathan.brielmaier@web.de> | 2021-12-17 17:20:44 +0100 |
commit | 5da5ec3428201e641e569971e7cba9ae655f65e3 (patch) | |
tree | 2a0d18de0f68bcc4329fff2ec0a1011e83951118 /nongnu/packages/linux.scm | |
parent | b0142c822bfe03e28699a31436fcd5f64e50ae8f (diff) |
nongnu: compcert: Update to 3.10.
* nongnu/packages/coq.scm (compcert): Update to 3.10.
Diffstat (limited to 'nongnu/packages/linux.scm')
0 files changed, 0 insertions, 0 deletions