Commit Graph

15 Commits

Author SHA1 Message Date
Pierre Roux
c407726f4f coqPackages.mathcomp: remove Stdlib dependency
Adapting to https://github.com/math-comp/math-comp/pull/1343
2025-02-14 14:21:56 +01:00
Pierre Roux
a5a738b092 coqPackages.mathcomp: 2.2.0 -> 2.3.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 a08b3a4d19.tar.gz \
      --argstr baseRev b32a094368
    result/bin/apply-formatting $NIXPKGS_PATH
2024-12-10 20:26:33 +01: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
Vincent Laporte
8c03ab6569 coqPackages.graph-theory: 0.9.3 → 0.9.4 2024-05-24 06:09:40 +02: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
Pierre Roux
2959062362 coqPackages: various 8.16 -> 8.17 2023-03-09 13:13:00 +01:00
Shawn8901
4dcb03a5c3 treewide: remove global with lib; statements in pkgs/coq-modules 2023-01-21 23:19:48 +01:00
Vincent Laporte
9ad12d1d8c
coqPackages.graph-theory: enable for Coq 8.16 2022-09-08 18:06:35 +02:00
Vincent Laporte
d317484de1
coqPackages.graph-theory: enable for Coq 8.15 2022-05-07 07:29:18 +02:00
Ulrik Strid
7e20e9039e coqPackages: tree-wide move packages to nativeBuildInputs and add strictDeps = true
Co-authored-by: Vincent Laporte <vbgl@users.noreply.github.com>
2022-02-25 07:54:17 +01:00
Vincent Laporte
b62ea74e97 coqPackages.graph-theory: disable for Coq 8.15 2021-12-09 15:46:06 +01:00
Vincent Laporte
3e84e0fd7d coqPackages.graph-theory: enable for Coq 8.14 2021-11-13 13:17:20 +01:00
Théo Zimmermann
3437b543fd coq_8_14: init at 8.14+rc1 2021-10-13 10:44:09 +02:00
Ben Siraphob
2f3c29cc68 coqPackages.graph-theory: init at 0.9 2021-07-29 09:33:21 +02:00