about summary refs log tree commit diff
path: root/pkgs/development/coq-modules/mathcomp-finmap
AgeCommit message (Expand)AuthorFilesLines
2024-01-19Add Coqeal 2.0.1 and algebra-tactics 1.2.3Pierre Roux1-1/+3
2024-01-16coqPackages.mathcomp: 1.18.0 -> 1.19.0Pierre Roux1-1/+1
2023-11-15coqPackages.mathcomp: 1.17.0 -> 1.18.0 (#265046)Pierre Roux1-1/+1
2023-09-04Add a few packages for Coq 8.18 and MathComp 2.0Pierre Roux1-2/+4
2023-09-04coq_8_18: init at 8.18+rc1Vincent Laporte1-1/+1
2023-03-09coqPackages: various 8.16 -> 8.17Pierre Roux1-1/+1
2023-01-21treewide: remove global with lib; statements in pkgs/coq-modulesShawn89011-3/+3
2022-08-31mathcomp: 1.14.0 -> 1.15.0Enrico Tassi1-1/+1
2022-07-17coqPackages.mathcomp-finmap: 1.5.1 → 1.5.2Vincent Laporte1-0/+2
2022-02-02coqPackages.mathcomp: 1.13.0 -> 1.14.0Cyril Cohen1-1/+1
2021-10-29coqPackages.mathcomp: 1.12.0 -> 1.13.0Cyril Cohen1-1/+1
2021-01-09coqPackages: refactorCyril Cohen1-0/+36
2019-05-15coqPackages: refactor mathcomp packagesCyril Cohen1-40/+0
2019-04-23coqPackages.mathcomp: 1.7.0 -> 1.8.0Vincent Laporte1-2/+13
2019-02-18coqPackages.mathcomp-analysis: enable for Coq 8.9Vincent Laporte1-2/+2
2019-02-09coqPackages.mathcomp-finmap: init at 1.1.0Vincent Laporte1-0/+29
generated by cgit-pink 1.4.1 (git 2.36.1) at 2024-07-03 03:03:43 +0000