30 Commits
Author SHA1 Message Date
Yifei Sun 297c15a7df coqPackages.stdpp: modernize mkCoqDerivation release hash format 2026-06-17 22:37:02 +02:00
4ever2 18f99b1161 rocqPackages.iris: init at 4.5.0 2026-03-10 16:42:16 +01:00
4ever2 f136d4a6ec rocqPackages.stdpp: init at 1.13.0 2026-03-09 13:49:40 +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
damhiyaandVincent Laporte 4caa040583 coqPackages.stdpp : 1.11.0 -> 1.12.0 2025-08-29 11:00:54 +02:00
Pierre RouxandVincent Laporte 6bb4f60316 coqPackages.*: 9.0 -> 9.1 2025-07-09 07:27:19 +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
Sigmanificient 91d5ab3ae4 treewide: remove unused rec expressions 2025-03-14 05:15:05 +01:00
Pierre RouxandVincent Laporte c683a77656 coq_9_0: init at 9.0+rc1 2025-01-26 16:32:07 +01:00
Pierre RouxandVincent Laporte 629830c8ff Add coqPackages.stdlib 2024-12-13 11:42:53 +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
Vincent Laporte f9c95e2357 coqPackages.stdpp: 1.10.0 → 1.11.0
coqPackages.iris: 4.2.0 → 4.3.0
2024-10-31 20:48:48 +01: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 LaporteandVincent Laporte 1b411ccbf3 coqPackages.stdpp: 1.9.0 → 1.10.0
coqPackages.iris: 4.1.0 → 4.2.0
2024-04-15 10:13:00 +02:00
Léo StefanescoandVincent Laporte 8de5195ec4 coqPackages.stdpp: 1.8 -> 1.9, coqPackages.iris: 4.0 -> 4.1 2023-10-13 13:15:46 +02:00
Cyril Cohen a601e65967 coqPackages_8_17.stdpp: init at 1.8.0 2023-03-27 16:56:32 +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 0079deac1f coqPackages.stdpp: 1.7.0 → 1.8.0
coqPackages.iris: 3.6.0 → 4.0.0
2022-08-27 08:54:26 +02:00
Vincent LaporteandVincent Laporte 591f280978 coqPackages.stdpp: enable for Coq 8.16 2022-06-13 11:29:20 +02:00
Vincent LaporteandVincent Laporte 3b50449992 coqPackages.iris: 3.5.0 → 3.6.0
coqPackages.stdpp: 1.6.0 → 1.7.0
2022-02-23 21:14:14 +01:00
Vincent LaporteandVincent Laporte 5401acff06 coqPackages.stdpp: disable for Coq 8.15 2021-12-09 15:46:06 +01:00
Léo StefanescoandVincent Laporte 58bdfc529b iris: 3.4.0 -> 3.5.0; stdpp: 1.5.0 -> 1.6.0 2021-11-14 15:26:37 +01:00
Théo ZimmermannandVincent Laporte 3437b543fd coq_8_14: init at 8.14+rc1 2021-10-13 10:44:09 +02:00
Vincent LaporteandVincent Laporte c87714a040 coqPackages.stdpp: 1.4.0 → 1.5.0
coqPackages.iris: 3.3.0 → 3.4.0
2021-04-12 13:58:30 +02:00
Cyril CohenandVincent Laporte 9ffd16b385 coqPackages: refactor 2021-01-09 11:56:17 +01:00
Vincent LaporteandVincent Laporte a379617057 coqPackages.stdpp: 1.2.1 → 1.4.0
coqPackages.iris: 3.2.0 → 3.3.0
2020-08-16 08:22:55 +02:00
Vincent LaporteandVincent Laporte 5b3dc48f19 coqPackages.stdpp: 1.1 -> 1.2.1; coqPackages.iris: 3.1.0 -> 3.2.0
Ensures compatibility with Coq ≥ 8.9
2019-09-06 11:51:34 +00:00
Vincent LaporteandVincent Laporte 36e9fe820c coqPackages_8_9: disable a few packages that do not build 2019-02-08 02:01:32 +01:00
Vincent Laporte 42462d7b66 coqPackages.stdpp: init at 1.1 2018-05-15 20:55:53 +00:00