30 Commits
Author SHA1 Message Date
Vincent Laporte c5a79bf94d coqPackages.mathcomp-word: 3.4 → 3.5 2026-07-24 06:53:31 +02:00
Yifei Sun 6738ce0670 coqPackages.mathcomp-word: modernize mkCoqDerivation release hash format 2026-06-17 22:36:59 +02:00
Vincent Laporte 19d4211448 coqPackages.mathcomp-word: 3.3 → 3.4 2026-03-11 13:57:59 +01:00
Vincent Laporte 128bccf79b coqPackages.mathcomp-word: 3.2 → 3.3 2026-03-06 21:57:32 +01:00
Ihar HrachyshkaandWolfgang Walther 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 RouxandVincent Laporte 6bb4f60316 coqPackages.*: 9.0 -> 9.1 2025-07-09 07:27:19 +02:00
Pierre RouxandVincent Laporte 7321d5dc7b coqPackages.*: fix formatting fix 2025-06-30 13:33:02 +02:00
Pierre RouxandVincent Laporte 19e4869241 coqPackages.*: better formatting fix 2025-06-30 10:10:31 +02:00
Pierre RouxandVincent Laporte 0ddb075c4d coqPackages.*: fix formatting 2025-06-21 17:23:27 +02:00
Pierre RouxandVincent Laporte 873cceaf59 coqPackages.mathcomp*: update stdlib dependencies 2025-02-24 21:02:24 +01:00
Pierre RouxandVincent Laporte c683a77656 coq_9_0: init at 9.0+rc1 2025-01-26 16:32:07 +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 RouxandGitHub a9e5f6bfcd coqPackages: Enable override with dev branches (#329356)
Useful for CI applications.
2024-07-23 11:49:28 +02:00
Pierre RouxandGitHub 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
Pierre RouxandGitHub 971ef0c694 coq_8_20: init at 8.20+rc1 (#323105) 2024-06-28 15:47:38 +02:00
Vincent LaporteandVincent Laporte 81537e0656 coqPackages.mathcomp-word: 3.1 → 3.2; 2.3 → 2.4 2024-05-31 20:55:19 +02:00
Vincent LaporteandVincent Laporte d70d9425f4 coqPackages.mathcomp-word: 2.2 → 2.3 2024-03-22 08:08:45 +01:00
Pierre RouxandVincent Laporte 2c7c560330 coqPackages.mathcomp: 2.1.0 -> 2.2.0 2024-01-17 15:40:16 +01:00
Pierre RouxandVincent Laporte e1f1b5bcd2 coqPackages.mathcomp: 1.18.0 -> 1.19.0 2024-01-16 10:34:25 +01:00
Vincent LaporteandVincent Laporte 76c5738ef2 coqPackages.mathcomp-word: 2.1 → {2.2, 3.0} 2023-11-29 06:31:24 +01:00
Vincent LaporteandVincent Laporte 02643fe422 coq_8_18: init at 8.18+rc1 2023-09-04 10:02:59 +02:00
Vincent LaporteandVincent Laporte 04c41a12cf coqPackages.mathcomp-word: 2.0 → 2.1 2023-06-06 10:28:20 +02:00
Shawn8901 4dcb03a5c3 treewide: remove global with lib; statements in pkgs/coq-modules 2023-01-21 23:19:48 +01:00
Vincent LaporteandVincent Laporte a2c917865f coqPackages.mathcomp-word: 1.1 → 2.0 2022-10-05 13:38:03 +02:00
Théo ZimmermannandVincent Laporte 2dc3552aa1 coqPackages.mkCoqDerivation: upgrade to Dune 3
And remove the version number from the corresponding attributes.
2022-10-02 14:42:28 +02:00
Vincent Laporte 2611f23722 coqPackages.mathcomp-word: enable for Coq 8.16 2022-09-08 18:06:24 +02:00
Vincent LaporteandVincent Laporte 68322e1297 coqPackages.mathcomp-word: 1.0 → 1.1 2022-04-26 13:11:29 +02:00
Ulrik StridandVincent Laporte 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
Cyril CohenandVincent Laporte dffe2434ae coqPackages.mathcomp: 1.13.0 -> 1.14.0 2022-02-02 08:56:55 +01:00
Vincent LaporteandVincent Laporte e99619604d coqPackages.mathcomp-word: init at 1.0 2021-12-24 11:59:00 +01:00