Age | Commit message (Expand) | Author |
---|---|---|
2020-04-11 | nongnu: compcert: Build for arm-eabihf on arm. | Timotej Lazar |
2020-04-11 | nongnu: compcert: Fix a non-exhaustive match. | Timotej Lazar |
2020-04-04 | nongnu: Add compcert. | Julien Lepiller |
index : nonguix.git | ||
Mirror of gitlab.com/nonguix/nonguix |
summaryrefslogtreecommitdiff |
Age | Commit message (Expand) | Author |
---|---|---|
2020-04-11 | nongnu: compcert: Build for arm-eabihf on arm. | Timotej Lazar |
2020-04-11 | nongnu: compcert: Fix a non-exhaustive match. | Timotej Lazar |
2020-04-04 | nongnu: Add compcert. | Julien Lepiller |