Age | Commit message (Collapse) | Author |
|
* nongnu/packages/coq.scm: Add copyright for Isaac Young.
* nongnu/packages/linux.scm: Add copyright year for me.
|
|
* 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>
|
|
* nongnu/packages/coq.scm (compcert)[arguments]: Pass arm-eabihf to configure
script to enable hard float extensions.
|
|
* 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.
|
|
* nongnu/packages/coq.scm: New file.
|