Commit Graph

31 Commits

Author SHA1 Message Date
whispers
80bdbb7475 gnome2: drop package set
the gnome2 namespace nebulously refers to an gnome 2, a desktop we never
properly packaged. now it holds a bunch of gtk2 or otherwise unused
packages. its contents were handled in previous commits, and now that it
is empty except for aliases, we drop the namespace entirely. aliases
were added only for the recent additions to the list, as the ones from
before 2024 seem to have little use and are no longer kept in
aliases.nix.
2026-08-05 22:23:31 -04:00
quantenzitrone
233631a84f treewide: remove references to the xorg namespace in pkgs (manual)
this was done manually, fixing the eval and any remaining stuff of the previous commit

together with the previous commit this shouldn't create any rebuilds
2026-01-25 22:28:14 +01:00
h7x4
20739c715f idris-modules: lib.mapAttrsToList -> lib.attrValues 2025-10-26 15:33:35 +09:00
Michael Daniels
566b923218 idrisPackages.descncrunch: drop
Has been marked broken for at least a full release cycle.

Dropping per RFC 180.
2025-10-11 10:19:13 -04: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
jopejoe1
2e2c7f54fd treewide: hide more deprecated stuff if allowAliases is false 2024-11-27 20:51:46 +01:00
Sigmanificient
8a6176aae3 idrisPackages.sdl: remove 2024-05-30 02:03:57 +02:00
Robert Hensing
200175a701 config.allowAliases: Define as option
This simplifies usages and makes the default value consistent.

In a few cases, the default value was interpreted to be `false`,
but this is useless, because virtually nobody will explicitly
set `allowAliases = true;`.
2022-04-01 11:33:10 +02:00
Jonathan Ringer
3724b8cfa8 idrisPackages.protobuf: move to alias set 2022-02-07 11:38:38 -08:00
c0bw3b
c1ef1d8f9b idrisPackages.protobuf: remove
Upstream does not exist anymore
2022-02-06 16:56:17 -08:00
divanorama
b06d3ac70a idrisPackages.data: remove broken package at 2018-03-19
Package doesn't compile
https://hydra.nixos.org/build/142422494/nixlog/2
And the repository is archived with latest commits being in 2019
https://github.com/jdevuyst/dependable-data-structures

ZHF: #122042
2021-05-08 20:03:28 +02:00
Mike Sperber
620f3c6cf7 idrisPackages: add tf-random package 2020-03-20 13:44:50 +01:00
Kierán Meinhardt
8eb0413c05 idrisPackages.heyting-algebra: remove 2019-09-24 19:50:04 +02:00
Jakob Brünker
e0bcc7f082 idris-modules/curses.nix: delete
The repository is currently unmaintained and cannot be guaranteed to
work.
2019-01-04 13:44:37 +01:00
Imuli
a6e17d6f11 idrisPackages.quantities: init at 2018-04-17 2018-08-04 23:10:43 -04:00
Silvan Mosberger
636cd3cba9 idris: Clean up wrapper 2018-07-02 02:35:46 +02:00
Márton Boros
bf02618e1f idrisPackages.vdom: init at 0.6.0 2018-05-08 11:41:52 +02:00
Márton Boros
23ee7c9d8d idrisPackages: add packages 2018-03-20 07:16:21 +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
Matthew Pickering
40124cd0cf Add wrapper for idris exe for gcc/gmp runtime deps
Fixes #10450

When compiling packages with -o the executable invokes gcc.
There is no compile time flag to control this invocation so for
now we create a wrapper which provides the dependency at runtime.
2017-11-02 23:14:12 +00:00
Shea Levy
1a1ad1a17d Revert "Merge branch 'improved-make-overridable' of git://github.com/ElvishJerricco/nixpkgs"
This reverts commit c3af1210b4, reversing
changes made to 49f175cd0c.
2017-09-29 09:11:26 -04:00
Shea Levy
c3af1210b4 Merge branch 'improved-make-overridable' of git://github.com/ElvishJerricco/nixpkgs 2017-09-28 18:10:50 -04:00
Tuomas Tynkkynen
0c368ef02f treewide: Escape backslash in strings properly
"\." is apparently the same as "." wheras the correct one is "\\."
2017-09-14 01:03:39 +03:00
Will Fancher
8b764960e9 Added overrideScope for callPackageWith
Consequently removing several ad-hoc definitions of the same concept.
2017-07-13 14:56:13 -04:00
Shea Levy
7bda74f676 idris-modules: pkgs.gnome is now pkgs.gnome2.
Fixes #18998.

Closes #19002.
2016-09-27 13:52:25 -04:00
Shea Levy
0f90c9dbc1 idris-modules: documentation 2015-11-27 13:17:17 -05:00
Shea Levy
a01c7b5a15 idris-modules: Filter out default.nix 2015-11-27 09:57:49 -05:00
Shea Levy
a5ca796f55 idris-modules: Read the filesystem to populate package list 2015-11-27 09:55:22 -05:00
Shea Levy
efbee054fd Add builtin idris packages to idrisPackages 2015-11-27 09:35:59 -05:00
Shea Levy
5898c20604 Add idrisPackages to all-packages.nix 2015-11-27 08:19:50 -05:00