diff options
author | Isaac Young <isyoung@pm.me> | 2021-02-01 20:52:20 -0700 |
---|---|---|
committer | Jonathan Brielmaier <jonathan.brielmaier@web.de> | 2021-02-02 21:35:25 +0100 |
commit | fd668447b30745e29f7f0fab5d89334e5b313a7e (patch) | |
tree | 5e06fb8be4aa045d9a83932563abc5cb6cac26f1 /nongnu/packages/linux.scm | |
parent | 05107f1b94e24fa37a01ccbe51b8579846ecf792 (diff) |
nongnu: compcert: Update to 3.8.
* nongnu/packages/coq.scm (compcert): Update to 3.8.
[source]: Switch from url-fetch to git-fetch.
Signed-off-by: Jonathan Brielmaier <jonathan.brielmaier@web.de>
Diffstat (limited to 'nongnu/packages/linux.scm')
0 files changed, 0 insertions, 0 deletions