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