summaryrefslogtreecommitdiff
path: root/nongnu/packages/coq.scm
AgeCommit message (Expand)Author
2024-11-26nongnu: compcert: Update to 3.14.Jonathan Brielmaier
2024-04-01nongnu: compcert: Update to 3.13.1.Jonathan Brielmaier
2023-04-05nongnu: compcert: Update to 3.12.Jonathan Brielmaier
2022-12-19*.scm: Use SPDX license identifiers.Jonathan Brielmaier
2022-10-24nongnu: compcert: Fix build with coq@8.16.0.Jonathan Brielmaier
2022-08-09nongnu: compcert: Update to 3.11.Jonathan Brielmaier
2022-05-26nongnu: compcert: Remove input labels.Jonathan Brielmaier
2022-05-26nongnu: compcert: Allow build against newer coq version.Jonathan Brielmaier
2021-12-17nongnu: compcert: Update to 3.10.Jonathan Brielmaier
2021-10-27nongnu: compcert: Update to 3.9.Jonathan Brielmaier
2021-02-02nongnu: Add missing copyright headers for Isaac and me.Jonathan Brielmaier
2021-02-02nongnu: compcert: Update to 3.8.Isaac Young
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
generated by cgit v1.2.3 (git 2.50.1) at 2025-09-19 05:17:21 +0000