Commit Graph

6 Commits

Author SHA1 Message Date
Pierre Roux
c683a77656 coq_9_0: init at 9.0+rc1 2025-01-26 16:32:07 +01:00
damhiya
b95d38587b coqPackages.MenhirLib: add maintainer 2025-01-07 13:41:09 +09:00
Pierre Roux
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 a08b3a4d19.tar.gz \
      --argstr baseRev b32a094368
    result/bin/apply-formatting $NIXPKGS_PATH
2024-12-10 20:26:33 +01:00
Pierre Roux
03bfa3c1a4 coqPackages.json: init at 0.1.3 2024-08-26 12:02:42 +02:00
damhiya
5a3fe0fa46 coqPackages.MenhirLib: init at 20240715 2024-08-20 14:58:36 +02:00