Age | Commit message (Collapse) | Author |
|
Fixes https://gitlab.com/nonguix/nonguix/-/issues/224
* *.scm: Use SPDX license identifier and remove obsolete license
statement.
|
|
* nongnu/packages/coq.scm (compcert)[arguments]: Reintroduce the 'allow-newer-coq-version phase.
|
|
* nongnu/packages/coq.scm (compcert): Update to 3.11.
[arguments]: Remove no longer required phase 'allow-newer-coq-version.
|
|
* nongnu/packages/coq.scm (compcert)[native-inputs]: Remove input
labels.
[inputs]: dito.
|
|
* nongnu/packages/coq.scm (compcert)[arguments]: New phase
'allow-newer-coq-version.
|
|
* nongnu/packages/coq.scm (compcert): Update to 3.10.
|
|
* nongnu/packages/coq.scm (compcert): Update to 3.9.
|
|
* 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.
|