Age | Commit message (Expand) | Author | Files | Lines |
---|---|---|---|---|
2022-08-31 | mathcomp: 1.14.0 -> 1.15.0 | Enrico Tassi | 1 | -1/+1 |
2022-07-17 | coqPackages.mathcomp-finmap: 1.5.1 → 1.5.2 | Vincent Laporte | 1 | -0/+2 |
2022-02-02 | coqPackages.mathcomp: 1.13.0 -> 1.14.0 | Cyril Cohen | 1 | -1/+1 |
2021-10-29 | coqPackages.mathcomp: 1.12.0 -> 1.13.0 | Cyril Cohen | 1 | -1/+1 |
2021-01-09 | coqPackages: refactor | Cyril Cohen | 1 | -0/+36 |
2019-05-15 | coqPackages: refactor mathcomp packages | Cyril Cohen | 1 | -40/+0 |
2019-04-23 | coqPackages.mathcomp: 1.7.0 -> 1.8.0 | Vincent Laporte | 1 | -2/+13 |
2019-02-18 | coqPackages.mathcomp-analysis: enable for Coq 8.9 | Vincent Laporte | 1 | -2/+2 |
2019-02-09 | coqPackages.mathcomp-finmap: init at 1.1.0 | Vincent Laporte | 1 | -0/+29 |