summaryrefslogtreecommitdiff
path: root/nongnu/packages/coq.scm
AgeCommit message (Expand)Author
2020-04-11nongnu: compcert: Build for arm-eabihf on arm.Timotej Lazar
2020-04-11nongnu: compcert: Fix a non-exhaustive match.Timotej Lazar
2020-04-04nongnu: Add compcert.Julien Lepiller