about summary refs log tree commit diff
path: root/pkgs/development/coq-modules/mathcomp-analysis
AgeCommit message (Expand)AuthorFilesLines
2024-02-09coqPackages.mathcomp-analysis: 0.6.6 -> 1.0.0 (#285276)Sebastian1-4/+10
2023-11-15coqPackages.mathcomp: 1.17.0 -> 1.18.0 (#265046)Pierre Roux1-1/+5
2023-07-12treewide: use lib.optional instead of 'then []'Felix Buehler1-2/+1
2023-06-20hb dep is added later, after we check the version numberCyril Cohen1-2/+1
2023-03-09coqPackages: various 8.16 -> 8.17Pierre Roux1-3/+3
2023-03-03coqPackages.mathcomp-analysis: 0.6.0 → 0.6.1Vincent Laporte1-1/+2
2023-03-03coqPackages.mathcomp-analysis: 0.5.3 → 0.6.0Vincent Laporte1-2/+3
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-27 22:41:41 +0000