Age | Commit message (Expand) | Author | Files | Lines |
---|---|---|---|---|
2023-09-04 | coq_8_18: init at 8.18+rc1 | Vincent Laporte | 1 | -1/+1 |
2023-06-06 | coqPackages.mathcomp-word: 2.0 → 2.1 | Vincent Laporte | 1 | -1/+2 |
2023-01-21 | treewide: remove global with lib; statements in pkgs/coq-modules | Shawn8901 | 1 | -3/+2 |
2022-10-05 | coqPackages.mathcomp-word: 1.1 → 2.0 | Vincent Laporte | 1 | -1/+2 |
2022-10-02 | coqPackages.mkCoqDerivation: upgrade to Dune 3 | Théo Zimmermann | 1 | -1/+1 |
2022-09-08 | coqPackages.mathcomp-word: enable for Coq 8.16 | Vincent Laporte | 1 | -1/+1 |
2022-04-26 | coqPackages.mathcomp-word: 1.0 → 1.1 | Vincent Laporte | 1 | -1/+2 |
2022-02-25 | coqPackages: tree-wide move packages to nativeBuildInputs and add strictDeps ... | Ulrik Strid | 1 | -1/+1 |
2022-02-02 | coqPackages.mathcomp: 1.13.0 -> 1.14.0 | Cyril Cohen | 1 | -1/+1 |
2021-12-24 | coqPackages.mathcomp-word: init at 1.0 | Vincent Laporte | 1 | -0/+27 |