| cf21d514 | gnu: Remove pending references to deprecated (gnu packages flex). | Anderson Torres | 2026-05-29 07:41 |
| 146a57e0 | gnu: proof-general: Update to 4.5-2.d668946. | Morgan Smith | 2024-12-23 19:45 |
| e37ee527 | gnu: coq-mathcomp-bigenough: Use native-inputs. | Jean-Pierre De Jesus DIAZ | 2024-11-17 22:15 |
| 5e12096e | gnu: coq-mathcomp-bigenough: Use new style. | Jean-Pierre De Jesus DIAZ | 2024-11-17 22:15 |
| 86690427 | gnu: coq-equations: Update style. | Zheng Junjie | 2024-09-12 06:29 |
| 1a814b79 | gnu: coq-equations: Update to 1.3-8.18. | Zheng Junjie | 2024-09-12 06:29 |
| 7bd8e290 | gnu: coq-bignums: Update style. | Zheng Junjie | 2024-09-12 06:29 |
| cd9ad4ef | gnu: coq-bignums: Update to 9.0.0+coq8.18. | Zheng Junjie | 2024-09-12 05:25 |
| 35cc81b0 | gnu: coq: Update to 8.18.0. | Jean-Pierre De Jesus DIAZ | 2024-09-12 05:23 |
| 114a77e5 | gnu: coq: Propagate ocaml-zarith. | Jean-Pierre De Jesus DIAZ | 2024-09-12 05:20 |
| b594c2b1 | gnu: proof-general: Update to 4.5@cb23709a. | Arnaud Daby-Seesaram | 2024-06-26 14:16 |
| bf1e063b | gnu: coq-autosubst: Fix Coq 8.19 compatibility. | Jean-Pierre De Jesus DIAZ | 2024-06-23 09:48 |
| d01ac858 | gnu: coq-stdpp: Update to 1.10.0. | Jean-Pierre De Jesus DIAZ | 2024-06-16 08:15 |
| 00a898eb | gnu: coq-mathcomp: Update to 1.19.0. | Jean-Pierre De Jesus DIAZ | 2024-06-16 08:15 |
| c3a9abad | gnu: coq-interval: Update to 4.10.0. | Jean-Pierre De Jesus DIAZ | 2024-06-16 08:15 |
| 7725edda | gnu: coq-gappa: Update to 1.5.5. | Jean-Pierre De Jesus DIAZ | 2024-06-16 08:15 |
| c01a114c | gnu: coq-coquelicot: Update to 3.4.1. | Jean-Pierre De Jesus DIAZ | 2024-06-16 08:15 |
| 2ce67731 | gnu: coq-flocq: Update to 4.1.4. | Jean-Pierre De Jesus DIAZ | 2024-05-15 14:12 |
| 4b941ab3 | gnu: coq: Update to 8.17.1. | pukkamustard | 2024-02-08 22:15 |
| c168dc5a | gnu: Update coq-interval to 4.8.0. | pukkamustard | 2024-02-08 22:15 |
| e154a7f4 | gnu: Update coq-stdpp to 1.8.0. | pukkamustard | 2024-02-08 22:15 |
| 3f9d44b0 | gnu: Update coq-autosubst to 1.8. | pukkamustard | 2024-02-08 22:15 |
| 9ae0ff50 | gnu: Update coq-mathcomp to 1.17.0. | pukkamustard | 2024-02-08 22:15 |
| db7c87e0 | gnu: Update coq-coquelicot to 3.4.0. | pukkamustard | 2024-02-08 22:15 |
| 4b7cc09c | gnu: Update coq-gappa to 1.5.3. | pukkamustard | 2024-02-08 22:15 |
| 95c30e03 | gnu: Update coq-flocq to 4.1.1. | pukkamustard | 2024-02-08 22:15 |
| 33a1ee7f | gnu: Add coq-for-coqtail. | Jean-Pierre De Jesus DIAZ | 2023-11-23 11:56 |
| 7df09ee0 | Merge remote-tracking branch 'savannah/master' into core-updates | Christopher Baines | 2023-03-02 10:55 |
| 4cf1acc7 | Merge remote-tracking branch 'origin/master' into core-updates | Efraim Flashner | 2023-01-30 10:39 |
| 990a4822 | Merge branch 'staging' into core-updates | Maxim Cournoyer | 2022-09-27 19:59 |