ilyakooo0/nixpkgs
1
0
Fork 0
mirror of https://github.com/ilyakooo0/nixpkgs.git synced 2024-11-12 03:56:17 +03:00
Code Issues Projects Releases Wiki Activity
510,067 Commits 96 Branches 102 Tags 4.5 GiB
84821b9769
Commit Graph

21 Commits

Author SHA1 Message Date
Felix Buehler
bec27fabee treewide: use lib.optional instead of 'then []' 2023-07-12 09:36:28 +01:00
Cyril Cohen
d22a44e57a hb dep is added later, after we check the version number 2023-06-20 13:41:07 +02:00
Pierre Roux
2959062362 coqPackages: various 8.16 -> 8.17 2023-03-09 13:13:00 +01:00
Vincent Laporte
d8cc4e215d coqPackages.mathcomp-analysis: 0.6.0 → 0.6.1 2023-03-03 21:17:02 +00:00
Vincent Laporte
c81f6065c5 coqPackages.mathcomp-analysis: 0.5.3 → 0.6.0 2023-03-03 21:17:02 +00:00
Shawn8901
4dcb03a5c3 treewide: remove global with lib; statements in pkgs/coq-modules 2023-01-21 23:19:48 +01:00
Pierre Roux
c8aa298134 Adding mathcomp-analysis single 2022-10-11 11:46:46 +02:00
Pierre Roux
4610844682 Split coqPackages.mathcomp-analysis 
In preparation of https://github.com/math-comp/analysis/pull/600
 2022-09-26 09:46:37 +02:00
Enrico Tassi
e50697278b mathcomp: 1.14.0 -> 1.15.0 2022-08-31 19:00:56 +02:00
Vincent Laporte
fcfa7a704a coqPackages.mathcomp-analysis: 0.3.13 → 0.5.3 2022-08-31 09:29:48 +02:00
Pierre Roux
2768c9d4cb Adapt to Coq 8.15 and MathCOmp 1.14 2022-02-02 08:56:55 +01:00
Cyril Cohen
c5c34f6be1 coqPackages.mathcomp: 1.12.0 -> 1.13.0 2021-10-29 21:05:07 +02:00
Ben Siraphob
714c90ee5f coqPackages.mathcomp-analysis: 0.3.9 -> 0.3.10 2021-09-07 11:50:49 -05:00
Ben Siraphob
492e12cd2d coqPackages.mathcomp-analysis: 0.3.6 -> 0.3.9 
For compatibility with hierarchy-builder
 2021-07-16 22:04:25 +07:00
Cyril Cohen
163ffe2fe4 coqPackages.mathcomp-analysis: 0.3.1 -> 0.3.6 2021-03-12 10:40:18 +01:00
Cyril Cohen
7c10cce9f3 coqPackages.mathcomp-analysis: add maintainers 2021-01-14 14:27:55 +01:00
Cyril Cohen
9ffd16b385 coqPackages: refactor 2021-01-09 11:56:17 +01:00
Cyril Cohen
b71c308591
coqPackages: refactor mathcomp packages 
Closes #61456
 2019-05-15 14:11:21 +00:00
Vincent Laporte
f09a13899d coqPackages.mathcomp: 1.7.0 -> 1.8.0 
coqPackages.mathcomp-finmap: 1.1.0 -> 1.2.0
coqPackages.mathcomp-analysis: 0.1.0 -> 0.2.0
 2019-04-23 09:35:38 +02:00
Vincent Laporte
4a21043578 coqPackages.mathcomp-analysis: enable for Coq 8.9 2019-02-18 08:54:11 +01:00
Vincent Laporte
5d3e350536 coqPackages.mathcomp-analysis: init at 0.1.0 2019-02-09 12:33:02 +01:00