Silvan Mosberger
4f0dadbf38
treewide: format all inactive Nix files
...
After final improvements to the official formatter implementation,
this commit now performs the first treewide reformat of Nix files using it.
This is part of the implementation of RFC 166.
Only "inactive" files are reformatted, meaning only files that
aren't being touched by any PR with activity in the past 2 months.
This is to avoid conflicts for PRs that might soon be merged.
Later we can do a full treewide reformat to get the rest,
which should not cause as many conflicts.
A CI check has already been running for some time to ensure that new and
already-formatted files are formatted, so the files being reformatted here
should also stay formatted.
This commit was automatically created and can be verified using
nix-build a08b3a4d19b32a094368
2024-12-10 20:26:33 +01:00
Pierre Roux
62ecaec63a
coqPackages.mathcomp-analysis: 1.5.0 -> 1.7.0 ( #361371 )
...
* coqPackages.mathcomp-infotheo: 0.7.3 -> 0.7.5
* coqPackages.mathcomp-analysis: 1.5.0 -> 1.7.0
2024-12-04 14:58:29 +01:00
Pierre Roux
1be419decc
coqPackages.mathcomp-analysis: rename altreals to experimental-reals
...
Following
https://github.com/proux01/analysis/pull/new/experimental-reals
2024-11-06 09:56:01 +01:00
Pierre Roux
46143dd712
Fix coqPackages.mathcomp-altreals dependencies
2024-10-29 16:52:43 +01:00
Pierre Roux
9f128a2fb2
coqPackages.mathcomp-reals: init at 1.7.0
...
Following the package split in https://github.com/math-comp/analysis/pull/1349
2024-10-29 08:14:10 +01:00
Vincent Laporte
fc7f8bb8e6
coqPackages.mathcomp-analysis: 1.4.0 → 1.5.0
...
coqPackages.mathcomp-infotheo: 0.7.2 → 0.7.3
2024-10-28 07:20:47 +01:00
Vincent Laporte
782c8b0451
coqPackages.mathcomp-analysis: 1.1.0 → 1.4.0
...
coqPackages.mathcomp-infotheo: 0.7.1 → 0.7.2
2024-10-08 20:58:47 +02:00
Pierre Roux
383e9b5696
coq-elpi: 2.0.1 -> 2.2.0 ( #323590 )
...
elpi: 1.18.1 -> 1.19.2
2024-07-01 08:04:15 +02:00
Philip Taron
e8955041c3
coqPackages.mathcomp-analysis: avoid top-level with ...;
2024-06-25 09:04:57 -07:00
Vincent Laporte
47195c4d69
coqPackages.mathcomp-analysis: 1.0.0 → 1.1.0
2024-06-10 09:08:04 +02:00
Sebastian
6ed38373dc
coqPackages.mathcomp-analysis: 0.6.6 -> 1.0.0 ( #285276 )
...
Co-authored-by: Pierre Roux <pierre.roux@onera.fr>
2024-02-09 18:24:43 +01:00
Pierre Roux
c2892b3fc9
coqPackages.mathcomp: 1.17.0 -> 1.18.0 ( #265046 )
...
* coqPackages.mathcomp: 1.17.0 -> 1.18.0
* coqPackages.mathcomp-analysis: 0.6.5 -> 0.6.6
2023-11-15 13:22:46 +01:00
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
