| Age | Commit message (Expand) | Author |
|---|
| 2021-02-02 | 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>
| Isaac Young |
| 2020-04-11 | nongnu: compcert: Build for arm-eabihf on arm.•••* nongnu/packages/coq.scm (compcert)[arguments]: Pass arm-eabihf to configure
script to enable hard float extensions.
| Timotej Lazar |
| 2020-04-11 | nongnu: compcert: Fix a non-exhaustive match.•••* nongnu/packages/coq.scm (compcert)[arguments]: Add default case to match so
that it can be evaluated on all systems.
[supported-systems]: Remove unsupported mips64el-linux.
| Timotej Lazar |
| 2020-04-04 | nongnu: Add compcert.•••* nongnu/packages/coq.scm: New file.
| Julien Lepiller |
