Age | Commit message (Collapse) | Author | |
---|---|---|---|
2020-04-11 | nongnu: compcert: Build for arm-eabihf on arm. | Timotej Lazar | |
* nongnu/packages/coq.scm (compcert)[arguments]: Pass arm-eabihf to configure script to enable hard float extensions. | |||
2020-04-11 | nongnu: compcert: Fix a non-exhaustive match. | Timotej Lazar | |
* 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. | |||
2020-04-04 | nongnu: Add compcert. | Julien Lepiller | |
* nongnu/packages/coq.scm: New file. |