| Commit message (Expand) | Author | Age | |
|---|---|---|---|
| * | coqPackages.mathcomp: 1.18.0 -> 1.19.0 | Pierre Roux | 2024-01-16 |
| * | coqPackages.mathcomp: 1.17.0 -> 1.18.0 (#265046) | Pierre Roux | 2023-11-15 |
| * | fourcolor: 1.3.0 -> 1.3.1 | Pierre Roux | 2023-10-31 |
| * | Add a few packages for Coq 8.18 and MathComp 2.0 | Pierre Roux | 2023-09-04 |
| * | treewide: remove global with lib; statements in pkgs/coq-modules | Shawn8901 | 2023-01-21 |
| * | coqPackages.fourcolor: 1.2.4 → 1.2.5 | Vincent Laporte | 2022-07-17 |
| * | coqPackages: tree-wide move packages to nativeBuildInputs and add strictDeps ... | Ulrik Strid | 2022-02-25 |
| * | Adapt to Coq 8.15 and MathCOmp 1.14 | Pierre Roux | 2022-02-02 |
| * | coq_8_14: init at 8.14+rc1 | Théo Zimmermann | 2021-10-13 |
| * | coqPackages.fourcolor: init at 1.2.3 | Ben Siraphob | 2021-03-26 |