about summary refs log tree commit diff
path: root/pkgs/development/coq-modules/mathcomp-analysis
AgeCommit message (Expand)AuthorFilesLines
2023-01-21treewide: remove global with lib; statements in pkgs/coq-modulesShawn89011-2/+2
2022-10-11Adding mathcomp-analysis singlePierre Roux1-10/+14
2022-09-26Split coqPackages.mathcomp-analysisPierre Roux1-27/+60
2022-08-31mathcomp: 1.14.0 -> 1.15.0Enrico Tassi1-7/+11
2022-08-31coqPackages.mathcomp-analysis: 0.3.13 → 0.5.3Vincent Laporte1-0/+2
2022-02-02Adapt to Coq 8.15 and MathCOmp 1.14Pierre Roux1-0/+2
2021-10-29coqPackages.mathcomp: 1.12.0 -> 1.13.0Cyril Cohen1-1/+1
2021-09-07coqPackages.mathcomp-analysis: 0.3.9 -> 0.3.10Ben Siraphob1-1/+2
2021-07-16coqPackages.mathcomp-analysis: 0.3.6 -> 0.3.9Ben Siraphob1-1/+2
2021-03-12coqPackages.mathcomp-analysis: 0.3.1 -> 0.3.6Cyril Cohen1-3/+18
2021-01-14coqPackages.mathcomp-analysis: add maintainersCyril Cohen1-0/+1
2021-01-09coqPackages: refactorCyril Cohen1-0/+27
2019-05-15coqPackages: refactor mathcomp packagesCyril Cohen1-30/+0
2019-04-23coqPackages.mathcomp: 1.7.0 -> 1.8.0Vincent Laporte1-2/+2
2019-02-18coqPackages.mathcomp-analysis: enable for Coq 8.9Vincent Laporte1-1/+1
2019-02-09coqPackages.mathcomp-analysis: init at 0.1.0Vincent Laporte1-0/+30
generated by cgit-pink 1.4.1 (git 2.36.1) at 2024-07-05 11:40:03 +0000