| Age | Commit message (Expand) | Author |
|---|
| 2024-12-23 | gnu: proof-general: Update to 4.5-2.d668946. | Morgan Smith |
| 2024-11-17 | gnu: coq-mathcomp-bigenough: Use native-inputs. | Jean-Pierre De Jesus DIAZ |
| 2024-11-17 | gnu: coq-mathcomp-bigenough: Use new style. | Jean-Pierre De Jesus DIAZ |
| 2024-09-12 | gnu: coq-equations: Update style. | Zheng Junjie |
| 2024-09-12 | gnu: coq-equations: Update to 1.3-8.18. | Zheng Junjie |
| 2024-09-12 | gnu: coq-bignums: Update style. | Zheng Junjie |
| 2024-09-12 | gnu: coq-bignums: Update to 9.0.0+coq8.18. | Zheng Junjie |
| 2024-09-12 | gnu: coq: Update to 8.18.0. | Jean-Pierre De Jesus DIAZ |
| 2024-09-12 | gnu: coq: Propagate ocaml-zarith. | Jean-Pierre De Jesus DIAZ |
| 2024-06-26 | gnu: proof-general: Update to 4.5@cb23709a. | Arnaud Daby-Seesaram |
| 2024-06-23 | gnu: coq-autosubst: Fix Coq 8.19 compatibility. | Jean-Pierre De Jesus DIAZ |
| 2024-06-16 | gnu: coq-stdpp: Update to 1.10.0. | Jean-Pierre De Jesus DIAZ |
| 2024-06-16 | gnu: coq-mathcomp: Update to 1.19.0. | Jean-Pierre De Jesus DIAZ |
| 2024-06-16 | gnu: coq-interval: Update to 4.10.0. | Jean-Pierre De Jesus DIAZ |
| 2024-06-16 | gnu: coq-gappa: Update to 1.5.5. | Jean-Pierre De Jesus DIAZ |
| 2024-06-16 | gnu: coq-coquelicot: Update to 3.4.1. | Jean-Pierre De Jesus DIAZ |
| 2024-05-15 | gnu: coq-flocq: Update to 4.1.4. | Jean-Pierre De Jesus DIAZ |
| 2024-02-08 | gnu: coq: Update to 8.17.1. | pukkamustard |
| 2024-02-08 | gnu: Update coq-interval to 4.8.0. | pukkamustard |
| 2024-02-08 | gnu: Update coq-stdpp to 1.8.0. | pukkamustard |
| 2024-02-08 | gnu: Update coq-autosubst to 1.8. | pukkamustard |
| 2024-02-08 | gnu: Update coq-mathcomp to 1.17.0. | pukkamustard |
| 2024-02-08 | gnu: Update coq-coquelicot to 3.4.0. | pukkamustard |
| 2024-02-08 | gnu: Update coq-gappa to 1.5.3. | pukkamustard |
| 2024-02-08 | gnu: Update coq-flocq to 4.1.1. | pukkamustard |
| 2023-11-23 | gnu: Add coq-for-coqtail. | Jean-Pierre De Jesus DIAZ |
| 2023-02-16 | gnu: Remove unneeded module imports. | Efraim Flashner |
| 2022-11-27 | gnu: coq-core: Update to 8.16.1. | Julien Lepiller |
| 2022-10-23 | gnu: Fix typos. | Vagrant Cascadian |
| 2022-09-24 | gnu: Add coq-mathcomp-bigenough. | Garek Dyszel |
| 2022-09-24 | gnu: Add coq-mathcomp-finmap. | Garek Dyszel |
| 2022-09-22 | gnu: coq: Update to 8.16.0. | Julien Lepiller |
| 2022-09-22 | gnu: coq-interval: Update to 4.5.2. | Julien Lepiller |
| 2022-09-22 | gnu: coq-mathcomp: Update to 1.15.0. | Julien Lepiller |
| 2022-09-22 | gnu: coq-gappa: Update to 1.5.2. | Julien Lepiller |
| 2022-09-22 | gnu: coq-flocq: Update to 4.1.0. | Julien Lepiller |
| 2022-09-22 | gnu: lablgtk3: Update to 3.1.2. | Julien Lepiller |
| 2022-08-13 | gnu: dune: Update to 4.4.1. | Julien Lepiller |
| 2022-06-18 | gnu: coq: Update to 8.15.2. | Julien Lepiller |
| 2022-05-01 | gnu: coq: Update to 8.15.1. | Julien Lepiller |
| 2022-02-11 | gnu: coq-stdpp: Update to 1.7.0. | Julien Lepiller |
| 2022-02-11 | gnu: coq-mathcomp: Update to 1.14.0. | Julien Lepiller |
| 2022-02-11 | gnu: coq: Update to 8.15.0. | Julien Lepiller |
| 2022-02-11 | gnu: coq-interval: Update to 4.4.0. | Julien Lepiller |
| 2022-02-11 | gnu: coq-bignums: Update to 8.15.0. | Julien Lepiller |
| 2022-02-11 | gnu: coq-gappa: Update to 1.5.1. | Julien Lepiller |
| 2022-02-11 | gnu: coq-flocq: Update to 4.0.0. | Julien Lepiller |
| 2021-12-22 | gnu: coq: Update to 8.14.1. | Julien Lepiller |
| 2021-12-13 | gnu: Simplify package inputs. | Ludovic Courtès |
| 2021-11-30 | gnu: coq: Update to 8.14.0. | Julien Lepiller |
