23 Commits

Author SHA1 Message Date
Yifei Sun 7581c3b967 coqPackages.mathcomp-infotheo: modernize mkCoqDerivation release hash format 2026-06-17 22:36:59 +02:00
Pierre Roux 30b1c85e66 rocqPackages.mathcomp-algebra: master depends on micromega-plugin 2026-05-06 11:57:10 +02:00
Pierre Roux d1f9234d3a coqPackages.mathcomp-infotheo: 0.9.6 -> 0.9.7 2026-03-17 10:48:56 +01:00
Ihar Hrachyshka 567e8dfd8e treewide: clean up 'meta = with' pattern
This commit was created by a combination of scripts and tools:
- an ast-grep script to prefix things in meta with `lib.`,
- a modified nixf-diagnose / nixf combination to remove unused `with
lib;`, and
- regular nixfmt.

Co-authored-by: Wolfgang Walther <walther@technowledgy.de>
2025-12-10 18:09:49 +01:00
Pierre Roux 65fb0bd613 coqPackages.mathcomp: 2.4.0 -> 2.5.0 2025-11-12 17:43:56 +01:00
Pierre Roux 143dfa1ac9 coqPackages.mathcomp-analysis: 1.11.0 -> 1.12.0 2025-07-08 08:35:30 +02:00
Pierre Roux 7321d5dc7b coqPackages.*: fix formatting fix 2025-06-30 13:33:02 +02:00
Pierre Roux 19e4869241 coqPackages.*: better formatting fix 2025-06-30 10:10:31 +02:00
Pierre Roux 0ddb075c4d coqPackages.*: fix formatting 2025-06-21 17:23:27 +02:00
Pierre Roux 3bb8fa02e6 coqPackages.mathcomp-infotheo: 0.9.1 -> 0.9.3 2025-05-10 12:06:21 +02:00
Reynald Affeldt ec1aa8f041 mathcomp-analysis: 1.8.0 -> 1.9.0
mathcomp-infotheo: add 0.9.1
2025-02-24 10:40:52 +01:00
Pierre Roux 8210f907cb coqPackages.mathcomp-analysis: 1.7.0 -> 1.8.0 2025-01-08 12:55:42 +01:00
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 https://github.com/infinisil/treewide-nixpkgs-reformat-script/archive/a08b3a4d199c6124ac5b36a889d9099b4383463f.tar.gz \
      --argstr baseRev b32a094368
    result/bin/apply-formatting $NIXPKGS_PATH
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
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
Alexis Hildebrandt 755b915a15 treewide: Remove indefinite article from meta.description
nix run nixpkgs#silver-searcher -- -G '\.nix$' -0l 'description.*"[Aa]n?' pkgs \
  | xargs -0 nix run nixpkgs#gnused -- -i '' -Ee 's/(description.*")[Aa]n? (.)/\1\U\2/'
2024-06-09 23:07:45 +02:00
Vincent Laporte 150a859d34 coqPackages.mathcomp-infotheo: 0.6.1 → 0.7.1 2024-05-27 05:31:26 +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
Reynald Affeldt b2f53e3726 mathcomp-infotheo: 0.5.1 -> 0.5.2 2023-06-20 21:18:53 +02:00
affeldt-aist 8a92dd9a9a mathcomp-infotheo: init at 0.5.1 (#231077) 2023-05-11 23:09:28 +02:00