Commit Graph

12 Commits

Author SHA1 Message Date
Silvan Mosberger
667d42c00d 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 57b193d8dd
    result/bin/apply-formatting $NIXPKGS_PATH
2024-12-10 20:27:17 +01:00
Felix Buehler
3df56ed3e4 idris-modules: rename name to pname 2022-02-23 11:28:15 +01:00
Michael Reilly
84cf00f980 treewide: Per RFC45, remove all unquoted URLs 2020-04-10 17:54:53 +01:00
Silvan Mosberger
b73f540beb idrisPackages: Clean up packages 2018-07-02 06:13:01 +02:00
Márton Boros
23ee7c9d8d idrisPackages: add packages 2018-03-20 07:16:21 +01:00
Márton Boros
4d4171d5f6 idrisPackages.wl-pprint: 2016-09-28 -> 2017-03-13 2018-03-09 10:22:53 +01:00
Márton Boros
4f1d26288f idrisPackages: fix errors 2018-03-09 09:57:18 +01:00
Matthew Pickering
947e7d80b4 Refactor Idris packaging infrastructure
The main two changes are

1. Completely rewrite how with-packages works to remove use of envHooks
2. The package description is now an idris specific set rather than
    being a subset of the arguments to mkDerivation. This mirrors the
    way Haskell packages are treated.
2018-02-07 19:25:50 +00:00
Langston Barrett
e7b3d9c7c8 wl-pprint: update to 2016-09-28 2016-09-28 19:36:44 +00:00
Shea Levy
920930510e idris-wl-pprint: Use fetchFromGitHub 2015-11-28 05:53:50 -05:00
Shea Levy
0f90c9dbc1 idris-modules: documentation 2015-11-27 13:17:17 -05:00
Shea Levy
0dce60b34d Add wl-pprint Idris package. 2015-11-27 11:03:04 -05:00