| Age | Commit message (Expand) | Author |
|---|---|---|
| 2021-12-17 | nongnu: compcert: Update to 3.10. | Jonathan Brielmaier |
| 2021-10-27 | nongnu: compcert: Update to 3.9. | Jonathan Brielmaier |
| 2021-02-02 | nongnu: Add missing copyright headers for Isaac and me. | Jonathan Brielmaier |
| 2021-02-02 | nongnu: compcert: Update to 3.8. | Isaac Young |
| 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 | |
| Guix channel for packages that can't be included upstream | Robby Zambito |
| summaryrefslogtreecommitdiff |