5 commits

Author	SHA1	Message	Date
Jonathan Brielmaier	919727dcd4	nongnu: Add missing copyright headers for Isaac and me. ... * nongnu/packages/coq.scm: Add copyright for Isaac Young. * nongnu/packages/linux.scm: Add copyright year for me.	2021-02-02 22:16:11 +01:00
Isaac Young	fd668447b3	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>	2021-02-02 21:35:25 +01:00
Timotej Lazar	1b7a4319fa	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.	2020-04-11 20:18:39 +02:00
Timotej Lazar	1892d626dd	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.	2020-04-11 14:11:11 +02:00
Julien Lepiller	048de09ad8	nongnu: Add compcert. ... * nongnu/packages/coq.scm: New file.	2020-04-04 18:54:06 +02:00