···

       
18
       
 
       
  - [`lib.types.enum`](https://nixos.org/manual/nixos/unstable/#sec-option-types-basic): Previously the `functor.payload` was the list of enum values directly. Now it is an attribute set containing the values in the `values` attribute.

     

       
19
       
 
       
  - [`lib.types.separatedString`](https://nixos.org/manual/nixos/unstable/#sec-option-types-string): Previously the `functor.payload` was the seperator directly. Now it is an attribute set containing the seperator in the `sep` attribute.

     

       
20
       
 
       


     

       
0
       
 
       

     

       
0
       
 
       

     

       
21
       
 
       
### Deprecations {#sec-nixpkgs-release-25.05-lib-deprecations}

     

       
22
       
 
       


     

       
23
       
 
       
`functor` is an implementation detail and should not be relied upon, but since its status wasn't clear and it has had some use cases without alternatives, changes are being handled as gracefully as possible. Deprecations within functor:

     

···

       
18
       
 
       
  - [`lib.types.enum`](https://nixos.org/manual/nixos/unstable/#sec-option-types-basic): Previously the `functor.payload` was the list of enum values directly. Now it is an attribute set containing the values in the `values` attribute.

     

       
19
       
 
       
  - [`lib.types.separatedString`](https://nixos.org/manual/nixos/unstable/#sec-option-types-string): Previously the `functor.payload` was the seperator directly. Now it is an attribute set containing the seperator in the `sep` attribute.

     

       
20
       
 
       


     

       
21
       
+
       
- The `virtualisation.hypervGuest.videoMode` option has been removed. Standard tooling can now be used to configure display modes for Hyper-V VMs.

     

       
22
       
+
       


     

       
23
       
 
       
### Deprecations {#sec-nixpkgs-release-25.05-lib-deprecations}

     

       
24
       
 
       


     

       
25
       
 
       
`functor` is an implementation detail and should not be relied upon, but since its status wasn't clear and it has had some use cases without alternatives, changes are being handled as gracefully as possible. Deprecations within functor:

     

···

       
6
       
 
       
  cfg = config.virtualisation.hypervGuest;

     

       
7
       
 
       


     

       
8
       
 
       
in {

     

       
0
       
 
       

     

       
0
       
 
       

     

       
0
       
 
       

     

       
0
       
 
       

     

       
0
       
 
       

     

       
0
       
 
       

     

       
9
       
 
       
  options = {

     

       
10
       
 
       
    virtualisation.hypervGuest = {

     

       
11
       
 
       
      enable = mkEnableOption "Hyper-V Guest Support";

     

       
12
       
-
       


     

       
13
       
-
       
      videoMode = mkOption {

     

       
14
       
-
       
        type = types.str;

     

       
15
       
-
       
        default = "1152x864";

     

       
16
       
-
       
        example = "1024x768";

     

       
17
       
-
       
        description = ''

     

       
18
       
-
       
          Resolution at which to initialize the video adapter.

     

       
19
       
-
       


     

       
20
       
-
       
          Supports screen resolution up to Full HD 1920x1080 with 32 bit color

     

       
21
       
-
       
          on Windows Server 2012, and 1600x1200 with 16 bit color on Windows

     

       
22
       
-
       
          Server 2008 R2 or earlier.

     

       
23
       
-
       
        '';

     

       
24
       
-
       
      };

     

       
25
       
 
       
    };

     

       
26
       
 
       
  };

     

       
27
       
 
       


     
···

       
34
       
 
       
      initrd.availableKernelModules = [ "hyperv_keyboard" ];

     

       
35
       
 
       


     

       
36
       
 
       
      kernelParams = [

     

       
37
       
-
       
        "video=hyperv_fb:${cfg.videoMode}" "elevator=noop"

     

       
38
       
 
       
      ];

     

       
39
       
 
       
    };

     

       
40
       
 
       


     

···

       
6
       
 
       
  cfg = config.virtualisation.hypervGuest;

     

       
7
       
 
       


     

       
8
       
 
       
in {

     

       
9
       
+
       
  imports = [

     

       
10
       
+
       
    (mkRemovedOptionModule [ "virtualisation" "hypervGuest" "videoMode" ]

     

       
11
       
+
       
      "The video mode can now be configured via standard tools, or in Hyper-V VM settings."

     

       
12
       
+
       
    )

     

       
13
       
+
       
  ];

     

       
14
       
+
       


     

       
15
       
 
       
  options = {

     

       
16
       
 
       
    virtualisation.hypervGuest = {

     

       
17
       
 
       
      enable = mkEnableOption "Hyper-V Guest Support";

     

       
0
       
 
       

     

       
0
       
 
       

     

       
0
       
 
       

     

       
0
       
 
       

     

       
0
       
 
       

     

       
0
       
 
       

     

       
0
       
 
       

     

       
0
       
 
       

     

       
0
       
 
       

     

       
0
       
 
       

     

       
0
       
 
       

     

       
0
       
 
       

     

       
0
       
 
       

     

       
18
       
 
       
    };

     

       
19
       
 
       
  };

     

       
20
       
 
       


     
···

       
27
       
 
       
      initrd.availableKernelModules = [ "hyperv_keyboard" ];

     

       
28
       
 
       


     

       
29
       
 
       
      kernelParams = [

     

       
30
       
+
       
        "elevator=noop"

     

       
31
       
 
       
      ];

     

       
32
       
 
       
    };

     

       
33
       
 
       


     

···

       
9
       
 
       
      { pkgs, ... }:

     

       
10
       
 
       
      {

     

       
11
       
 
       
        imports = [ ../modules/installer/cd-dvd/channel.nix ];

     

       
12
       
-
       
        environment.systemPackages = [ pkgs.python3 ];

     

       
13
       
-
       
        system.extraDependencies = [ pkgs.hello.inputDerivation ];

     

       
0
       
 
       

     

       
0
       
 
       

     

       
0
       
 
       

     

       
0
       
 
       

     

       
0
       
 
       

     

       
0
       
 
       

     

       
0
       
 
       

     

       
0
       
 
       

     

       
0
       
 
       

     

       
0
       
 
       

     

       
0
       
 
       

     

       
0
       
 
       

     

       
0
       
 
       

     

       
0
       
 
       

     

       
0
       
 
       

     

       
0
       
 
       

     

       
0
       
 
       

     

       
14
       
 
       
        nix.extraOptions = ''

     

       
15
       
 
       
          experimental-features = nix-command

     

       
16
       
 
       
        '';

     

       
17
       
 
       
      };

     

       
18
       
 
       


     

       
19
       
 
       
    testScript = ''

     

       
20
       
-
       
      # Build the cache, then remove it from the store

     

       
21
       
-
       
      cachePath = machine.succeed("nix-build --no-out-link -E 'with import <nixpkgs> {}; mkBinaryCache { rootPaths = [hello]; }'").strip()

     

       
22
       
-
       
      machine.succeed("cp -r %s/. /tmp/cache" % cachePath)

     

       
23
       
-
       
      machine.succeed("nix-store --delete " + cachePath)

     

       
0
       
 
       

     

       
0
       
 
       

     

       
24
       
 
       


     

       
25
       
 
       
      # Sanity test of cache structure

     

       
26
       
 
       
      status, stdout = machine.execute("ls /tmp/cache")

     
···

       
42
       
 
       
      if not match: raise Exception("Couldn't find hello store path in cache")

     

       
43
       
 
       
      storePath = match[1]

     

       
44
       
 
       


     

       
45
       
-
       
      # Delete the store path

     

       
46
       
-
       
      machine.succeed("nix-store --delete " + storePath)

     

       
47
       
 
       
      machine.succeed("[ ! -d %s ] || exit 1" % storePath)

     

       
48
       
 
       


     

       
49
       
 
       
      # Should be able to build hello using the cache

     

···

       
9
       
 
       
      { pkgs, ... }:

     

       
10
       
 
       
      {

     

       
11
       
 
       
        imports = [ ../modules/installer/cd-dvd/channel.nix ];

     

       
12
       
+
       
        environment.systemPackages = with pkgs; [

     

       
13
       
+
       
          openssl

     

       
14
       
+
       
          python3

     

       
15
       
+
       
        ];

     

       
16
       
+
       


     

       
17
       
+
       
        # We encrypt the binary cache before putting it on the machine so Nix

     

       
18
       
+
       
        # doesn't bring any references along.

     

       
19
       
+
       
        environment.etc."binary-cache.tar.gz.encrypted".source =

     

       
20
       
+
       
          with pkgs;

     

       
21
       
+
       
          runCommand "binary-cache.tar.gz.encrypted"

     

       
22
       
+
       
            {

     

       
23
       
+
       
              allowReferences = [ ];

     

       
24
       
+
       
              nativeBuildInputs = [ openssl ];

     

       
25
       
+
       
            }

     

       
26
       
+
       
            ''

     

       
27
       
+
       
              tar -czf tmp.tar.gz -C "${mkBinaryCache { rootPaths = [ hello ]; }}" .

     

       
28
       
+
       
              openssl enc -aes-256-cbc -salt -in tmp.tar.gz -out $out -k mysecretpassword

     

       
29
       
+
       
            '';

     

       
30
       
+
       


     

       
31
       
 
       
        nix.extraOptions = ''

     

       
32
       
 
       
          experimental-features = nix-command

     

       
33
       
 
       
        '';

     

       
34
       
 
       
      };

     

       
35
       
 
       


     

       
36
       
 
       
    testScript = ''

     

       
37
       
+
       
      # Decrypt the cache into /tmp/binary-cache.tar.gz

     

       
38
       
+
       
      machine.succeed("openssl enc -d -aes-256-cbc -in /etc/binary-cache.tar.gz.encrypted -out /tmp/binary-cache.tar.gz -k mysecretpassword")

     

       
39
       
+
       


     

       
40
       
+
       
      # Untar the cache into /tmp/cache

     

       
41
       
+
       
      machine.succeed("mkdir /tmp/cache")

     

       
42
       
+
       
      machine.succeed("tar -C /tmp/cache -xf /tmp/binary-cache.tar.gz")

     

       
43
       
 
       


     

       
44
       
 
       
      # Sanity test of cache structure

     

       
45
       
 
       
      status, stdout = machine.execute("ls /tmp/cache")

     
···

       
61
       
 
       
      if not match: raise Exception("Couldn't find hello store path in cache")

     

       
62
       
 
       
      storePath = match[1]

     

       
63
       
 
       


     

       
64
       
+
       
      # Make sure the store path doesn't exist yet

     

       
0
       
 
       

     

       
65
       
 
       
      machine.succeed("[ ! -d %s ] || exit 1" % storePath)

     

       
66
       
 
       


     

       
67
       
 
       
      # Should be able to build hello using the cache

     

···

       
9
       
 
       
  versions =

     

       
10
       
 
       
    if stdenv.hostPlatform.isLinux then

     

       
11
       
 
       
      {

     

       
12
       
-
       
        stable = "0.0.79";

     

       
13
       
-
       
        ptb = "0.0.124";

     

       
14
       
-
       
        canary = "0.0.556";

     

       
15
       
-
       
        development = "0.0.61";

     

       
16
       
 
       
      }

     

       
17
       
 
       
    else

     

       
18
       
 
       
      {

     

       
19
       
-
       
        stable = "0.0.331";

     

       
20
       
-
       
        ptb = "0.0.154";

     

       
21
       
-
       
        canary = "0.0.668";

     

       
22
       
-
       
        development = "0.0.70";

     

       
23
       
 
       
      };

     

       
24
       
 
       
  version = versions.${branch};

     

       
25
       
 
       
  srcs = rec {

     

       
26
       
 
       
    x86_64-linux = {

     

       
27
       
 
       
      stable = fetchurl {

     

       
28
       
 
       
        url = "https://stable.dl2.discordapp.net/apps/linux/${version}/discord-${version}.tar.gz";

     

       
29
       
-
       
        hash = "sha256-gQVx+PueGDofUjKSvyorCu73myNujcKz9gugMKB9koY=";

     

       
30
       
 
       
      };

     

       
31
       
 
       
      ptb = fetchurl {

     

       
32
       
 
       
        url = "https://ptb.dl2.discordapp.net/apps/linux/${version}/discord-ptb-${version}.tar.gz";

     

       
33
       
-
       
        hash = "sha256-jJncDqX2vCWFIpgruX1SknZBrCvMM5HSy6je9xxnxqM=";

     

       
34
       
 
       
      };

     

       
35
       
 
       
      canary = fetchurl {

     

       
36
       
 
       
        url = "https://canary.dl2.discordapp.net/apps/linux/${version}/discord-canary-${version}.tar.gz";

     

       
37
       
-
       
        hash = "sha256-5qn0YL0+1uE6kmQO3Fh2DD0gNjk6MT+yAdIoMK7Y8Tw=";

     

       
38
       
 
       
      };

     

       
39
       
 
       
      development = fetchurl {

     

       
40
       
 
       
        url = "https://development.dl2.discordapp.net/apps/linux/${version}/discord-development-${version}.tar.gz";

     

       
41
       
-
       
        hash = "sha256-9ssgue3Y8StyKnc1dvr6b0Z3hjPYtJCNuVsruqFx8ug=";

     

       
42
       
 
       
      };

     

       
43
       
 
       
    };

     

       
44
       
 
       
    x86_64-darwin = {

     

       
45
       
 
       
      stable = fetchurl {

     

       
46
       
 
       
        url = "https://stable.dl2.discordapp.net/apps/osx/${version}/Discord.dmg";

     

       
47
       
-
       
        hash = "sha256-U37JyZwPmsk6ArD8Lz0xAiy/I78H+wHSig3+1BpD9iA=";

     

       
48
       
 
       
      };

     

       
49
       
 
       
      ptb = fetchurl {

     

       
50
       
 
       
        url = "https://ptb.dl2.discordapp.net/apps/osx/${version}/DiscordPTB.dmg";

     

       
51
       
-
       
        hash = "sha256-BVKhyLoz/EoaZ6LgCaJuZZ37u9ProXOPddrfg171Eu4=";

     

       
52
       
 
       
      };

     

       
53
       
 
       
      canary = fetchurl {

     

       
54
       
 
       
        url = "https://canary.dl2.discordapp.net/apps/osx/${version}/DiscordCanary.dmg";

     

       
55
       
-
       
        hash = "sha256-1eCHufW68AuYuYWzfq6Tt+YylFgCLT88DrvrNZvQG8A=";

     

       
56
       
 
       
      };

     

       
57
       
 
       
      development = fetchurl {

     

       
58
       
 
       
        url = "https://development.dl2.discordapp.net/apps/osx/${version}/DiscordDevelopment.dmg";

     

       
59
       
-
       
        hash = "sha256-UdHwa/ALOOt/bNA6UmVJB8GNe+yHJ1xFoyF0nT1Zn3g=";

     

       
60
       
 
       
      };

     

       
61
       
 
       
    };

     

       
62
       
 
       
    aarch64-darwin = x86_64-darwin;

     

···

       
9
       
 
       
  versions =

     

       
10
       
 
       
    if stdenv.hostPlatform.isLinux then

     

       
11
       
 
       
      {

     

       
12
       
+
       
        stable = "0.0.80";

     

       
13
       
+
       
        ptb = "0.0.126";

     

       
14
       
+
       
        canary = "0.0.569";

     

       
15
       
+
       
        development = "0.0.67";

     

       
16
       
 
       
      }

     

       
17
       
 
       
    else

     

       
18
       
 
       
      {

     

       
19
       
+
       
        stable = "0.0.332";

     

       
20
       
+
       
        ptb = "0.0.156";

     

       
21
       
+
       
        canary = "0.0.681";

     

       
22
       
+
       
        development = "0.0.76";

     

       
23
       
 
       
      };

     

       
24
       
 
       
  version = versions.${branch};

     

       
25
       
 
       
  srcs = rec {

     

       
26
       
 
       
    x86_64-linux = {

     

       
27
       
 
       
      stable = fetchurl {

     

       
28
       
 
       
        url = "https://stable.dl2.discordapp.net/apps/linux/${version}/discord-${version}.tar.gz";

     

       
29
       
+
       
        hash = "sha256-oamuF2LcdBC2HUzB08lTlxvrXjE6YFBXwLJDrmYKRXM=";

     

       
30
       
 
       
      };

     

       
31
       
 
       
      ptb = fetchurl {

     

       
32
       
 
       
        url = "https://ptb.dl2.discordapp.net/apps/linux/${version}/discord-ptb-${version}.tar.gz";

     

       
33
       
+
       
        hash = "sha256-4OvGEeOP4i4j7WwMjnnSvaNQ2e5RZ0EMF797xoIsWMY=";

     

       
34
       
 
       
      };

     

       
35
       
 
       
      canary = fetchurl {

     

       
36
       
 
       
        url = "https://canary.dl2.discordapp.net/apps/linux/${version}/discord-canary-${version}.tar.gz";

     

       
37
       
+
       
        hash = "sha256-akbcAPuxF1pl4u2Cw/I7rlv8WVDsIZDPPpGRUt1qQvA=";

     

       
38
       
 
       
      };

     

       
39
       
 
       
      development = fetchurl {

     

       
40
       
 
       
        url = "https://development.dl2.discordapp.net/apps/linux/${version}/discord-development-${version}.tar.gz";

     

       
41
       
+
       
        hash = "sha256-YwOhdNM6l+E/X6JX5ttyJsJmf3Pa+BN7N0mG7923xI4=";

     

       
42
       
 
       
      };

     

       
43
       
 
       
    };

     

       
44
       
 
       
    x86_64-darwin = {

     

       
45
       
 
       
      stable = fetchurl {

     

       
46
       
 
       
        url = "https://stable.dl2.discordapp.net/apps/osx/${version}/Discord.dmg";

     

       
47
       
+
       
        hash = "sha256-ZIAFYbC4rRjb9Lz3E50TfR0Lgdmg0MZllxy+vk36Eg8=";

     

       
48
       
 
       
      };

     

       
49
       
 
       
      ptb = fetchurl {

     

       
50
       
 
       
        url = "https://ptb.dl2.discordapp.net/apps/osx/${version}/DiscordPTB.dmg";

     

       
51
       
+
       
        hash = "sha256-Uluw2l/yAFzy4uMzp9ugFri8Psl7hy50H7QHag+St10=";

     

       
52
       
 
       
      };

     

       
53
       
 
       
      canary = fetchurl {

     

       
54
       
 
       
        url = "https://canary.dl2.discordapp.net/apps/osx/${version}/DiscordCanary.dmg";

     

       
55
       
+
       
        hash = "sha256-OmN8g5Skg/KmdO8sv8iOhbZOFU/XUyUqvSthEam6RNE=";

     

       
56
       
 
       
      };

     

       
57
       
 
       
      development = fetchurl {

     

       
58
       
 
       
        url = "https://development.dl2.discordapp.net/apps/osx/${version}/DiscordDevelopment.dmg";

     

       
59
       
+
       
        hash = "sha256-GyHOJcxWoKdFJ5/oca5JFwu5OdGGykR4OXGMaa3XfiY=";

     

       
60
       
 
       
      };

     

       
61
       
 
       
    };

     

       
62
       
 
       
    aarch64-darwin = x86_64-darwin;

     

···

       
59
       
 
       
   "8.19.1".sha256   = "sha256-kmZ8Uk8jpzjOd67aAPp3C+vU2oNaBw9pr7+Uixcgg94=";

     

       
60
       
 
       
   "8.19.2".sha256   = "sha256-q+i07JsMZp83Gqav6v1jxsgPLN7sPvp5/oszVnavmz0=";

     

       
61
       
 
       
   "8.20.0".sha256   = "sha256-WFpZlA6CzFVAruPhWcHQI7VOBVhrGLdFzWrHW0DTSl0=";

     

       
0
       
 
       

     

       
62
       
 
       
  };

     

       
63
       
 
       
  releaseRev = v: "V${v}";

     

       
64
       
 
       
  fetched = import ../../../../build-support/coq/meta-fetch/default.nix

     

···

       
59
       
 
       
   "8.19.1".sha256   = "sha256-kmZ8Uk8jpzjOd67aAPp3C+vU2oNaBw9pr7+Uixcgg94=";

     

       
60
       
 
       
   "8.19.2".sha256   = "sha256-q+i07JsMZp83Gqav6v1jxsgPLN7sPvp5/oszVnavmz0=";

     

       
61
       
 
       
   "8.20.0".sha256   = "sha256-WFpZlA6CzFVAruPhWcHQI7VOBVhrGLdFzWrHW0DTSl0=";

     

       
62
       
+
       
   "8.20.1".sha256   = "sha256-nRaLODPG4E3gUDzGrCK40vhl4+VhPyd+/fXFK/HC3Ig=";

     

       
63
       
 
       
  };

     

       
64
       
 
       
  releaseRev = v: "V${v}";

     

       
65
       
 
       
  fetched = import ../../../../build-support/coq/meta-fetch/default.nix

     

···

       
23
       
 
       
  with open(xzFile, "w") as f:

     

       
24
       
 
       
    subprocess.run("nix-store --dump %s | xz -c" % item["path"], stdout=f, shell=True)

     

       
25
       
 
       


     

       
26
       
-
       
  fileHash = subprocess.run(["nix-hash", "--base32", "--type", "sha256", item["path"]], capture_output=True).stdout.decode().strip()

     

       
27
       
 
       
  fileSize = os.path.getsize(xzFile)

     

       
28
       
 
       


     

       
29
       
 
       
  # Rename the .nar.xz file to its own hash to match "nix copy" behavior

     

···

       
23
       
 
       
  with open(xzFile, "w") as f:

     

       
24
       
 
       
    subprocess.run("nix-store --dump %s | xz -c" % item["path"], stdout=f, shell=True)

     

       
25
       
 
       


     

       
26
       
+
       
  fileHash = subprocess.run(["nix-hash", "--base32", "--type", "sha256", "--flat", xzFile], capture_output=True).stdout.decode().strip()

     

       
27
       
 
       
  fileSize = os.path.getsize(xzFile)

     

       
28
       
 
       


     

       
29
       
 
       
  # Rename the .nar.xz file to its own hash to match "nix copy" behavior

     

···

       
7
       
 
       


     

       
8
       
 
       
buildGoModule rec {

     

       
9
       
 
       
  pname = "containerlab";

     

       
10
       
-
       
  version = "0.61.0";

     

       
11
       
 
       


     

       
12
       
 
       
  src = fetchFromGitHub {

     

       
13
       
 
       
    owner = "srl-labs";

     

       
14
       
 
       
    repo = "containerlab";

     

       
15
       
 
       
    rev = "v${version}";

     

       
16
       
-
       
    hash = "sha256-VEN2JjgLukE8YQ2nq+qFS2Yq0TdiTyRm2RUm32mJzBM=";

     

       
17
       
 
       
  };

     

       
18
       
 
       


     

       
19
       
-
       
  vendorHash = "sha256-PwPih5LuXPBznSvn4L4h8zCiuWP2+u90PdN5+2Il6j0=";

     

       
20
       
 
       


     

       
21
       
 
       
  nativeBuildInputs = [ installShellFiles ];

     

       
22
       
 
       


     

···

       
7
       
 
       


     

       
8
       
 
       
buildGoModule rec {

     

       
9
       
 
       
  pname = "containerlab";

     

       
10
       
+
       
  version = "0.62.0";

     

       
11
       
 
       


     

       
12
       
 
       
  src = fetchFromGitHub {

     

       
13
       
 
       
    owner = "srl-labs";

     

       
14
       
 
       
    repo = "containerlab";

     

       
15
       
 
       
    rev = "v${version}";

     

       
16
       
+
       
    hash = "sha256-6WDmjVRLvh8FBydaN41Vj4B5BIkIF9VnvhRcJR3k9Ec=";

     

       
17
       
 
       
  };

     

       
18
       
 
       


     

       
19
       
+
       
  vendorHash = "sha256-G9W4iC04R5Rvl3hAJtMlUKJKo7AAIE33Y2c+0HedXU8=";

     

       
20
       
 
       


     

       
21
       
 
       
  nativeBuildInputs = [ installShellFiles ];

     

       
22
       
 
       


     

···

       
14
       
 
       


     

       
15
       
 
       
stdenv.mkDerivation (finalAttrs: {

     

       
16
       
 
       
  pname = "crowdin-cli";

     

       
17
       
-
       
  version = "4.5.0";

     

       
18
       
 
       


     

       
19
       
 
       
  src = fetchurl {

     

       
20
       
 
       
    url = "https://github.com/crowdin/crowdin-cli/releases/download/${finalAttrs.version}/crowdin-cli.zip";

     

       
21
       
-
       
    hash = "sha256-Qcw1935ENMftohZrwqRZRrXoXYThogfBXNzf/6jJxaM=";

     

       
22
       
 
       
  };

     

       
23
       
 
       


     

       
24
       
 
       
  nativeBuildInputs = [

     

···

       
14
       
 
       


     

       
15
       
 
       
stdenv.mkDerivation (finalAttrs: {

     

       
16
       
 
       
  pname = "crowdin-cli";

     

       
17
       
+
       
  version = "4.5.1";

     

       
18
       
 
       


     

       
19
       
 
       
  src = fetchurl {

     

       
20
       
 
       
    url = "https://github.com/crowdin/crowdin-cli/releases/download/${finalAttrs.version}/crowdin-cli.zip";

     

       
21
       
+
       
    hash = "sha256-wmW6RBVMdpcawCEgLaZwOLStdUIWumsgc39Y0Kv8uEE=";

     

       
22
       
 
       
  };

     

       
23
       
 
       


     

       
24
       
 
       
  nativeBuildInputs = [

     

···

       
7
       
 
       


     

       
8
       
 
       
buildGoModule rec {

     

       
9
       
 
       
  pname = "kube-bench";

     

       
10
       
-
       
  version = "0.9.4";

     

       
11
       
 
       


     

       
12
       
 
       
  src = fetchFromGitHub {

     

       
13
       
 
       
    owner = "aquasecurity";

     

       
14
       
 
       
    repo = pname;

     

       
15
       
 
       
    tag = "v${version}";

     

       
16
       
-
       
    hash = "sha256-SkXf8zZif1l+yOSUjYpW474gYOmxifaLtj/DNK+ZNfg=";

     

       
17
       
 
       
  };

     

       
18
       
 
       


     

       
19
       
-
       
  vendorHash = "sha256-6ApPEt9SkPI5yu3ejzR1AU1ZCHmltp8Cxso6j//pEAk=";

     

       
20
       
 
       


     

       
21
       
 
       
  nativeBuildInputs = [ installShellFiles ];

     

       
22
       
 
       


     

···

       
7
       
 
       


     

       
8
       
 
       
buildGoModule rec {

     

       
9
       
 
       
  pname = "kube-bench";

     

       
10
       
+
       
  version = "0.10.0";

     

       
11
       
 
       


     

       
12
       
 
       
  src = fetchFromGitHub {

     

       
13
       
 
       
    owner = "aquasecurity";

     

       
14
       
 
       
    repo = pname;

     

       
15
       
 
       
    tag = "v${version}";

     

       
16
       
+
       
    hash = "sha256-+2WoQJtH5uuVSOi70WQ+DYnUNlXoThXPJvz2jckn2cw=";

     

       
17
       
 
       
  };

     

       
18
       
 
       


     

       
19
       
+
       
  vendorHash = "sha256-2jlYDpUJr4y4Ahzw9xDwVlQ/XPADMbAc5qYf+6N7Ado=";

     

       
20
       
 
       


     

       
21
       
 
       
  nativeBuildInputs = [ installShellFiles ];

     

       
22
       
 
       


     

···

       
8
       
 
       
}:

     

       
9
       
 
       
stdenv.mkDerivation (finalAttrs: {

     

       
10
       
 
       
  pname = "metacubexd";

     

       
11
       
-
       
  version = "1.173.3";

     

       
12
       
 
       


     

       
13
       
 
       
  src = fetchFromGitHub {

     

       
14
       
 
       
    owner = "MetaCubeX";

     

       
15
       
 
       
    repo = "metacubexd";

     

       
16
       
 
       
    rev = "v${finalAttrs.version}";

     

       
17
       
-
       
    hash = "sha256-K/E3EetvpJKnLvFNkWtf95D/+oQtu27JLO3il7dpN2c=";

     

       
18
       
 
       
  };

     

       
19
       
 
       


     

       
20
       
 
       
  nativeBuildInputs = [

     
···

       
24
       
 
       


     

       
25
       
 
       
  pnpmDeps = pnpm_9.fetchDeps {

     

       
26
       
 
       
    inherit (finalAttrs) pname version src;

     

       
27
       
-
       
    hash = "sha256-aw8Sh4BecQ09rC0OLWebdWc7D/LE8vPs9uqh6w5G/FM=";

     

       
28
       
 
       
  };

     

       
29
       
 
       


     

       
30
       
 
       
  buildPhase = ''

     

···

       
8
       
 
       
}:

     

       
9
       
 
       
stdenv.mkDerivation (finalAttrs: {

     

       
10
       
 
       
  pname = "metacubexd";

     

       
11
       
+
       
  version = "1.176.1";

     

       
12
       
 
       


     

       
13
       
 
       
  src = fetchFromGitHub {

     

       
14
       
 
       
    owner = "MetaCubeX";

     

       
15
       
 
       
    repo = "metacubexd";

     

       
16
       
 
       
    rev = "v${finalAttrs.version}";

     

       
17
       
+
       
    hash = "sha256-96mWjODfgIoJM/c/2c+KdPDxWCEGszglkRqjabW8auk=";

     

       
18
       
 
       
  };

     

       
19
       
 
       


     

       
20
       
 
       
  nativeBuildInputs = [

     
···

       
24
       
 
       


     

       
25
       
 
       
  pnpmDeps = pnpm_9.fetchDeps {

     

       
26
       
 
       
    inherit (finalAttrs) pname version src;

     

       
27
       
+
       
    hash = "sha256-xDcqGvM8J6miDwiwNQODnPVq63flitva6/nPLYa9cgY=";

     

       
28
       
 
       
  };

     

       
29
       
 
       


     

       
30
       
 
       
  buildPhase = ''

     

···

       
12
       
 
       


     

       
13
       
 
       
rustPlatform.buildRustPackage rec {

     

       
14
       
 
       
  pname = "mollysocket";

     

       
15
       
-
       
  version = "1.5.5";

     

       
16
       
 
       


     

       
17
       
 
       
  src = fetchFromGitHub {

     

       
18
       
 
       
    owner = "mollyim";

     

       
19
       
 
       
    repo = "mollysocket";

     

       
20
       
-
       
    rev = version;

     

       
21
       
-
       
    hash = "sha256-IJaWCawA1vM+3qdHbPZCn4laM7DAL19k1P1MjghtGv8=";

     

       
22
       
 
       
  };

     

       
23
       
 
       


     

       
24
       
-
       
  cargoHash = "sha256-FNFTPjj9TQeIG7K/+qpOav/TcNsmt+G6EhBftHqNbB4=";

     

       
25
       
 
       


     

       
26
       
 
       
  nativeBuildInputs = [

     

       
27
       
 
       
    pkg-config

     

···

       
12
       
 
       


     

       
13
       
 
       
rustPlatform.buildRustPackage rec {

     

       
14
       
 
       
  pname = "mollysocket";

     

       
15
       
+
       
  version = "1.6.0";

     

       
16
       
 
       


     

       
17
       
 
       
  src = fetchFromGitHub {

     

       
18
       
 
       
    owner = "mollyim";

     

       
19
       
 
       
    repo = "mollysocket";

     

       
20
       
+
       
    tag = version;

     

       
21
       
+
       
    hash = "sha256-F80XRQn3h1Y6dE8PVLGMTY29yZomrwqFAsm7h8euHw8=";

     

       
22
       
 
       
  };

     

       
23
       
 
       


     

       
24
       
+
       
  cargoHash = "sha256-ZHS/EJBhT1H5MvuqdPtmf95ctuLft4qVsZzPVeJBR5k=";

     

       
25
       
 
       


     

       
26
       
 
       
  nativeBuildInputs = [

     

       
27
       
 
       
    pkg-config

     

···

       
67
       
 
       


     

       
68
       
 
       
stdenv.mkDerivation (finalAttrs: {

     

       
69
       
 
       
  pname = "mutter";

     

       
70
       
-
       
  version = "46.7";

     

       
71
       
 
       


     

       
72
       
 
       
  outputs = [

     

       
73
       
 
       
    "out"

     
···

       
78
       
 
       


     

       
79
       
 
       
  src = fetchurl {

     

       
80
       
 
       
    url = "mirror://gnome/sources/mutter/${lib.versions.major finalAttrs.version}/mutter-${finalAttrs.version}.tar.xz";

     

       
81
       
-
       
    hash = "sha256-+7wVwLB2CS0WwB1cbwxvVNIR84Miy4wjseF9xW1MUl0=";

     

       
82
       
 
       
  };

     

       
83
       
 
       


     

       
84
       
 
       
  mesonFlags = [

     

···

       
67
       
 
       


     

       
68
       
 
       
stdenv.mkDerivation (finalAttrs: {

     

       
69
       
 
       
  pname = "mutter";

     

       
70
       
+
       
  version = "46.8";

     

       
71
       
 
       


     

       
72
       
 
       
  outputs = [

     

       
73
       
 
       
    "out"

     
···

       
78
       
 
       


     

       
79
       
 
       
  src = fetchurl {

     

       
80
       
 
       
    url = "mirror://gnome/sources/mutter/${lib.versions.major finalAttrs.version}/mutter-${finalAttrs.version}.tar.xz";

     

       
81
       
+
       
    hash = "sha256-+8CDVEr7O4Vn18pobCF/g3sG+UeNbiV0FZ/5ocjhyWI=";

     

       
82
       
 
       
  };

     

       
83
       
 
       


     

       
84
       
 
       
  mesonFlags = [

     

···

       
27
       
 
       
        default=0,

     

       
28
       
 
       
        help="Enable verbose logging (includes nix)",

     

       
29
       
 
       
    )

     

       
0
       
 
       

     

       
30
       
 
       
    common_flags.add_argument("--max-jobs", "-j")

     

       
31
       
 
       
    common_flags.add_argument("--cores")

     

       
32
       
 
       
    common_flags.add_argument("--log-format")

     
···

       
34
       
 
       
    common_flags.add_argument("--keep-failed", "-K", action="store_true")

     

       
35
       
 
       
    common_flags.add_argument("--fallback", action="store_true")

     

       
36
       
 
       
    common_flags.add_argument("--repair", action="store_true")

     

       
37
       
-
       
    common_flags.add_argument("--option", nargs=2)

     

       
38
       
 
       


     

       
39
       
 
       
    common_build_flags = argparse.ArgumentParser(add_help=False)

     

       
40
       
 
       
    common_build_flags.add_argument("--builders")

     

       
41
       
 
       
    common_build_flags.add_argument("--include", "-I", action="append")

     

       
42
       
-
       
    common_build_flags.add_argument("--quiet", action="store_true")

     

       
43
       
 
       
    common_build_flags.add_argument("--print-build-logs", "-L", action="store_true")

     

       
44
       
 
       
    common_build_flags.add_argument("--show-trace", action="store_true")

     

       
45
       
 
       


     
···

       
54
       
 
       
    flake_common_flags.add_argument("--no-write-lock-file", action="store_true")

     

       
55
       
 
       
    flake_common_flags.add_argument("--no-registries", action="store_true")

     

       
56
       
 
       
    flake_common_flags.add_argument("--commit-lock-file", action="store_true")

     

       
57
       
-
       
    flake_common_flags.add_argument("--update-input")

     

       
58
       
-
       
    flake_common_flags.add_argument("--override-input", nargs=2)

     

       
59
       
 
       


     

       
60
       
 
       
    classic_build_flags = argparse.ArgumentParser(add_help=False)

     

       
61
       
 
       
    classic_build_flags.add_argument("--no-build-output", "-Q", action="store_true")

     

···

       
27
       
 
       
        default=0,

     

       
28
       
 
       
        help="Enable verbose logging (includes nix)",

     

       
29
       
 
       
    )

     

       
30
       
+
       
    common_flags.add_argument("--quiet", action="count", default=0)

     

       
31
       
 
       
    common_flags.add_argument("--max-jobs", "-j")

     

       
32
       
 
       
    common_flags.add_argument("--cores")

     

       
33
       
 
       
    common_flags.add_argument("--log-format")

     
···

       
35
       
 
       
    common_flags.add_argument("--keep-failed", "-K", action="store_true")

     

       
36
       
 
       
    common_flags.add_argument("--fallback", action="store_true")

     

       
37
       
 
       
    common_flags.add_argument("--repair", action="store_true")

     

       
38
       
+
       
    common_flags.add_argument("--option", nargs=2, action="append")

     

       
39
       
 
       


     

       
40
       
 
       
    common_build_flags = argparse.ArgumentParser(add_help=False)

     

       
41
       
 
       
    common_build_flags.add_argument("--builders")

     

       
42
       
 
       
    common_build_flags.add_argument("--include", "-I", action="append")

     

       
0
       
 
       

     

       
43
       
 
       
    common_build_flags.add_argument("--print-build-logs", "-L", action="store_true")

     

       
44
       
 
       
    common_build_flags.add_argument("--show-trace", action="store_true")

     

       
45
       
 
       


     
···

       
54
       
 
       
    flake_common_flags.add_argument("--no-write-lock-file", action="store_true")

     

       
55
       
 
       
    flake_common_flags.add_argument("--no-registries", action="store_true")

     

       
56
       
 
       
    flake_common_flags.add_argument("--commit-lock-file", action="store_true")

     

       
57
       
+
       
    flake_common_flags.add_argument("--update-input", action="append")

     

       
58
       
+
       
    flake_common_flags.add_argument("--override-input", nargs=2, action="append")

     

       
59
       
 
       


     

       
60
       
 
       
    classic_build_flags = argparse.ArgumentParser(add_help=False)

     

       
61
       
 
       
    classic_build_flags.add_argument("--no-build-output", "-Q", action="store_true")

     

···

       
52
       
 
       
    attr: str | None

     

       
53
       
 
       


     

       
54
       
 
       
    def to_attr(self, *attrs: str) -> str:

     

       
55
       
-
       
        return f"{self.attr + '.' if self.attr else ''}{".".join(attrs)}"

     

       
56
       
 
       


     

       
57
       
 
       
    @classmethod

     

       
58
       
 
       
    def from_arg(cls, attr: str | None, file: str | None) -> Self:

     
···

       
68
       
 
       
    _re: ClassVar = re.compile(r"^(?P<path>[^\#]*)\#?(?P<attr>[^\#\"]*)$")

     

       
69
       
 
       


     

       
70
       
 
       
    def to_attr(self, *attrs: str) -> str:

     

       
71
       
-
       
        return f"{self}.{".".join(attrs)}"

     

       
72
       
 
       


     

       
73
       
 
       
    @override

     

       
74
       
 
       
    def __str__(self) -> str:

     
···

       
83
       
 
       
        m = cls._re.match(flake_str)

     

       
84
       
 
       
        assert m is not None, f"got no matches for {flake_str}"

     

       
85
       
 
       
        attr = m.group("attr")

     

       
86
       
-
       
        nixos_attr = f"nixosConfigurations.{attr or hostname_fn() or "default"}"

     

       
87
       
 
       
        path = m.group("path")

     

       
88
       
 
       
        if ":" in path:

     

       
89
       
 
       
            return cls(path, nixos_attr)

     

···

       
52
       
 
       
    attr: str | None

     

       
53
       
 
       


     

       
54
       
 
       
    def to_attr(self, *attrs: str) -> str:

     

       
55
       
+
       
        return f"{self.attr + '.' if self.attr else ''}{'.'.join(attrs)}"

     

       
56
       
 
       


     

       
57
       
 
       
    @classmethod

     

       
58
       
 
       
    def from_arg(cls, attr: str | None, file: str | None) -> Self:

     
···

       
68
       
 
       
    _re: ClassVar = re.compile(r"^(?P<path>[^\#]*)\#?(?P<attr>[^\#\"]*)$")

     

       
69
       
 
       


     

       
70
       
 
       
    def to_attr(self, *attrs: str) -> str:

     

       
71
       
+
       
        return f"{self}.{'.'.join(attrs)}"

     

       
72
       
 
       


     

       
73
       
 
       
    @override

     

       
74
       
 
       
    def __str__(self) -> str:

     
···

       
83
       
 
       
        m = cls._re.match(flake_str)

     

       
84
       
 
       
        assert m is not None, f"got no matches for {flake_str}"

     

       
85
       
 
       
        attr = m.group("attr")

     

       
86
       
+
       
        nixos_attr = f"nixosConfigurations.{attr or hostname_fn() or 'default'}"

     

       
87
       
 
       
        path = m.group("path")

     

       
88
       
 
       
        if ":" in path:

     

       
89
       
 
       
            return cls(path, nixos_attr)

     

···

       
15
       
 
       
    "-o",

     

       
16
       
 
       
    "ControlMaster=auto",

     

       
17
       
 
       
    "-o",

     

       
18
       
-
       
    f"ControlPath={tmpdir.TMPDIR_PATH / "ssh-%n"}",

     

       
19
       
 
       
    "-o",

     

       
20
       
 
       
    "ControlPersist=60",

     

       
21
       
 
       
]

     

···

       
15
       
 
       
    "-o",

     

       
16
       
 
       
    "ControlMaster=auto",

     

       
17
       
 
       
    "-o",

     

       
18
       
+
       
    f"ControlPath={tmpdir.TMPDIR_PATH / 'ssh-%n'}",

     

       
19
       
 
       
    "-o",

     

       
20
       
 
       
    "ControlPersist=60",

     

       
21
       
 
       
]

     

···

       
2
       
 
       
from collections.abc import Mapping, Sequence

     

       
3
       
 
       
from typing import Any, assert_never, override

     

       
4
       
 
       


     

       
5
       
-
       
type Arg = bool | str | list[str] | int | None

     

       
6
       
 
       
type Args = dict[str, Arg]

     

       
7
       
 
       


     

       
8
       
 
       


     
···

       
43
       
 
       
                flags.append(flag)

     

       
44
       
 
       
                flags.append(value)

     

       
45
       
 
       
            case list():

     

       
46
       
-
       
                for v in value:

     

       
47
       
 
       
                    flags.append(flag)

     

       
48
       
-
       
                    flags.append(v)

     

       
0
       
 
       

     

       
0
       
 
       

     

       
0
       
 
       

     

       
0
       
 
       

     

       
49
       
 
       
            case _:

     

       
50
       
 
       
                assert_never(value)

     

       
51
       
 
       
    return flags

     

···

       
2
       
 
       
from collections.abc import Mapping, Sequence

     

       
3
       
 
       
from typing import Any, assert_never, override

     

       
4
       
 
       


     

       
5
       
+
       
type Arg = bool | str | list[str] | list[list[str]] | int | None

     

       
6
       
 
       
type Args = dict[str, Arg]

     

       
7
       
 
       


     

       
8
       
 
       


     
···

       
43
       
 
       
                flags.append(flag)

     

       
44
       
 
       
                flags.append(value)

     

       
45
       
 
       
            case list():

     

       
46
       
+
       
                for vs in value:

     

       
47
       
 
       
                    flags.append(flag)

     

       
48
       
+
       
                    if isinstance(vs, list):

     

       
49
       
+
       
                        for v in vs:

     

       
50
       
+
       
                            flags.append(v)

     

       
51
       
+
       
                    else:

     

       
52
       
+
       
                        flags.append(vs)

     

       
53
       
 
       
            case _:

     

       
54
       
 
       
                assert_never(value)

     

       
55
       
 
       
    return flags

     

···

       
40
       
 
       
            "--flake",

     

       
41
       
 
       
            "/etc/nixos",

     

       
42
       
 
       
            "--option",

     

       
43
       
-
       
            "foo",

     

       
44
       
-
       
            "bar",

     

       
0
       
 
       

     

       
0
       
 
       

     

       
0
       
 
       

     

       
0
       
 
       

     

       
0
       
 
       

     

       
0
       
 
       

     

       
0
       
 
       

     

       
0
       
 
       

     

       
0
       
 
       

     

       
0
       
 
       

     

       
0
       
 
       

     

       
0
       
 
       

     

       
0
       
 
       

     

       
45
       
 
       
        ]

     

       
46
       
 
       
    )

     

       
47
       
 
       
    assert nr.logger.level == logging.INFO

     
···

       
50
       
 
       
    assert r1.install_grub is True

     

       
51
       
 
       
    assert r1.profile_name == "system"

     

       
52
       
 
       
    assert r1.action == "switch"

     

       
53
       
-
       
    assert r1.option == ["foo", "bar"]

     

       
54
       
-
       
    assert g1["common_flags"].option == ["foo", "bar"]

     

       
0
       
 
       

     

       
0
       
 
       

     

       
0
       
 
       

     

       
0
       
 
       

     

       
0
       
 
       

     

       
0
       
 
       

     

       
0
       
 
       

     

       
0
       
 
       

     

       
0
       
 
       

     

       
0
       
 
       

     

       
0
       
 
       

     

       
0
       
 
       

     

       
0
       
 
       

     

       
0
       
 
       

     

       
0
       
 
       

     

       
0
       
 
       

     

       
0
       
 
       

     

       
0
       
 
       

     

       
0
       
 
       

     

       
55
       
 
       


     

       
56
       
 
       
    r2, g2 = nr.parse_args(

     

       
57
       
 
       
        [

     
···

       
63
       
 
       
            "foo",

     

       
64
       
 
       
            "--attr",

     

       
65
       
 
       
            "bar",

     

       
0
       
 
       

     

       
0
       
 
       

     

       
0
       
 
       

     

       
0
       
 
       

     

       
66
       
 
       
            "-vvv",

     

       
0
       
 
       

     

       
0
       
 
       

     

       
67
       
 
       
        ]

     

       
68
       
 
       
    )

     

       
69
       
 
       
    assert nr.logger.level == logging.DEBUG

     
···

       
72
       
 
       
    assert r2.action == "dry-build"

     

       
73
       
 
       
    assert r2.file == "foo"

     

       
74
       
 
       
    assert r2.attr == "bar"

     

       
75
       
-
       
    assert g2["common_flags"].v == 3

     

       
0
       
 
       

     

       
0
       
 
       

     

       
0
       
 
       

     

       
0
       
 
       

     

       
0
       
 
       

     

       
0
       
 
       

     

       
0
       
 
       

     

       
0
       
 
       

     

       
0
       
 
       

     

       
0
       
 
       

     

       
0
       
 
       

     

       
76
       
 
       


     

       
77
       
 
       


     

       
78
       
 
       
@patch.dict(nr.process.os.environ, {}, clear=True)

     
···

       
292
       
 
       
            "--sudo",

     

       
293
       
 
       
            "--verbose",

     

       
294
       
 
       
            "--fast",

     

       
0
       
 
       

     

       
0
       
 
       

     

       
0
       
 
       

     

       
0
       
 
       

     

       
295
       
 
       
        ]

     

       
296
       
 
       
    )

     

       
297
       
 
       


     
···

       
307
       
 
       
                    "--print-out-paths",

     

       
308
       
 
       
                    "/path/to/config#nixosConfigurations.hostname.config.system.build.toplevel",

     

       
309
       
 
       
                    "-v",

     

       
0
       
 
       

     

       
0
       
 
       

     

       
0
       
 
       

     

       
310
       
 
       
                    "--no-link",

     

       
311
       
 
       
                ],

     

       
312
       
 
       
                check=True,

     

···

       
40
       
 
       
            "--flake",

     

       
41
       
 
       
            "/etc/nixos",

     

       
42
       
 
       
            "--option",

     

       
43
       
+
       
            "foo1",

     

       
44
       
+
       
            "bar1",

     

       
45
       
+
       
            "--option",

     

       
46
       
+
       
            "foo2",

     

       
47
       
+
       
            "bar2",

     

       
48
       
+
       
            "--override-input",

     

       
49
       
+
       
            "override1",

     

       
50
       
+
       
            "input1",

     

       
51
       
+
       
            "--override-input",

     

       
52
       
+
       
            "override2",

     

       
53
       
+
       
            "input2",

     

       
54
       
+
       
            "--update-input",

     

       
55
       
+
       
            "input1",

     

       
56
       
+
       
            "--update-input",

     

       
57
       
+
       
            "input2",

     

       
58
       
 
       
        ]

     

       
59
       
 
       
    )

     

       
60
       
 
       
    assert nr.logger.level == logging.INFO

     
···

       
63
       
 
       
    assert r1.install_grub is True

     

       
64
       
 
       
    assert r1.profile_name == "system"

     

       
65
       
 
       
    assert r1.action == "switch"

     

       
66
       
+
       
    # round-trip test (ensure that we have the same flags as parsed)

     

       
67
       
+
       
    assert nr.utils.dict_to_flags(vars(g1["common_flags"])) == [

     

       
68
       
+
       
        "--option",

     

       
69
       
+
       
        "foo1",

     

       
70
       
+
       
        "bar1",

     

       
71
       
+
       
        "--option",

     

       
72
       
+
       
        "foo2",

     

       
73
       
+
       
        "bar2",

     

       
74
       
+
       
    ]

     

       
75
       
+
       
    assert nr.utils.dict_to_flags(vars(g1["flake_common_flags"])) == [

     

       
76
       
+
       
        "--update-input",

     

       
77
       
+
       
        "input1",

     

       
78
       
+
       
        "--update-input",

     

       
79
       
+
       
        "input2",

     

       
80
       
+
       
        "--override-input",

     

       
81
       
+
       
        "override1",

     

       
82
       
+
       
        "input1",

     

       
83
       
+
       
        "--override-input",

     

       
84
       
+
       
        "override2",

     

       
85
       
+
       
        "input2",

     

       
86
       
+
       
    ]

     

       
87
       
 
       


     

       
88
       
 
       
    r2, g2 = nr.parse_args(

     

       
89
       
 
       
        [

     
···

       
95
       
 
       
            "foo",

     

       
96
       
 
       
            "--attr",

     

       
97
       
 
       
            "bar",

     

       
98
       
+
       
            "-I",

     

       
99
       
+
       
            "include1",

     

       
100
       
+
       
            "-I",

     

       
101
       
+
       
            "include2",

     

       
102
       
 
       
            "-vvv",

     

       
103
       
+
       
            "--quiet",

     

       
104
       
+
       
            "--quiet",

     

       
105
       
 
       
        ]

     

       
106
       
 
       
    )

     

       
107
       
 
       
    assert nr.logger.level == logging.DEBUG

     
···

       
110
       
 
       
    assert r2.action == "dry-build"

     

       
111
       
 
       
    assert r2.file == "foo"

     

       
112
       
 
       
    assert r2.attr == "bar"

     

       
113
       
+
       
    # round-trip test (ensure that we have the same flags as parsed)

     

       
114
       
+
       
    assert nr.utils.dict_to_flags(vars(g2["common_flags"])) == [

     

       
115
       
+
       
        "-vvv",

     

       
116
       
+
       
        "--quiet",

     

       
117
       
+
       
        "--quiet",

     

       
118
       
+
       
    ]

     

       
119
       
+
       
    assert nr.utils.dict_to_flags(vars(g2["common_build_flags"])) == [

     

       
120
       
+
       
        "--include",

     

       
121
       
+
       
        "include1",

     

       
122
       
+
       
        "--include",

     

       
123
       
+
       
        "include2",

     

       
124
       
+
       
    ]

     

       
125
       
 
       


     

       
126
       
 
       


     

       
127
       
 
       
@patch.dict(nr.process.os.environ, {}, clear=True)

     
···

       
341
       
 
       
            "--sudo",

     

       
342
       
 
       
            "--verbose",

     

       
343
       
 
       
            "--fast",

     

       
344
       
+
       
            # https://github.com/NixOS/nixpkgs/issues/374050

     

       
345
       
+
       
            "--option",

     

       
346
       
+
       
            "narinfo-cache-negative-ttl",

     

       
347
       
+
       
            "1200",

     

       
348
       
 
       
        ]

     

       
349
       
 
       
    )

     

       
350
       
 
       


     
···

       
360
       
 
       
                    "--print-out-paths",

     

       
361
       
 
       
                    "/path/to/config#nixosConfigurations.hostname.config.system.build.toplevel",

     

       
362
       
 
       
                    "-v",

     

       
363
       
+
       
                    "--option",

     

       
364
       
+
       
                    "narinfo-cache-negative-ttl",

     

       
365
       
+
       
                    "1200",

     

       
366
       
 
       
                    "--no-link",

     

       
367
       
 
       
                ],

     

       
368
       
 
       
                check=True,

     

···

       
11
       
 
       
            "test_flag_2": False,

     

       
12
       
 
       
            "test_flag_3": "value",

     

       
13
       
 
       
            "test_flag_4": ["v1", "v2"],

     

       
14
       
-
       
            "test_flag_5": None,

     

       
0
       
 
       

     

       
15
       
 
       
            "t": True,

     

       
16
       
 
       
            "v": 5,

     

       
17
       
-
       
            "verbose": 2,

     

       
18
       
 
       
        }

     

       
19
       
 
       
    )

     

       
20
       
 
       
    assert r1 == [

     
···

       
25
       
 
       
        "v1",

     

       
26
       
 
       
        "--test-flag-4",

     

       
27
       
 
       
        "v2",

     

       
0
       
 
       

     

       
0
       
 
       

     

       
0
       
 
       

     

       
0
       
 
       

     

       
0
       
 
       

     

       
0
       
 
       

     

       
28
       
 
       
        "-t",

     

       
29
       
 
       
        "-vvvvv",

     

       
30
       
-
       
        "--verbose",

     

       
31
       
-
       
        "--verbose",

     

       
32
       
 
       
    ]

     

       
33
       
 
       
    r2 = u.dict_to_flags({"verbose": 0, "empty_list": []})

     

       
34
       
 
       
    assert r2 == []

     

···

       
11
       
 
       
            "test_flag_2": False,

     

       
12
       
 
       
            "test_flag_3": "value",

     

       
13
       
 
       
            "test_flag_4": ["v1", "v2"],

     

       
14
       
+
       
            "test_flag_5": [["o1", "v1"], ["o2", "v2"]],

     

       
15
       
+
       
            "test_flag_6": None,

     

       
16
       
 
       
            "t": True,

     

       
17
       
 
       
            "v": 5,

     

       
18
       
+
       
            "quiet": 2,

     

       
19
       
 
       
        }

     

       
20
       
 
       
    )

     

       
21
       
 
       
    assert r1 == [

     
···

       
26
       
 
       
        "v1",

     

       
27
       
 
       
        "--test-flag-4",

     

       
28
       
 
       
        "v2",

     

       
29
       
+
       
        "--test-flag-5",

     

       
30
       
+
       
        "o1",

     

       
31
       
+
       
        "v1",

     

       
32
       
+
       
        "--test-flag-5",

     

       
33
       
+
       
        "o2",

     

       
34
       
+
       
        "v2",

     

       
35
       
 
       
        "-t",

     

       
36
       
 
       
        "-vvvvv",

     

       
37
       
+
       
        "--quiet",

     

       
38
       
+
       
        "--quiet",

     

       
39
       
 
       
    ]

     

       
40
       
 
       
    r2 = u.dict_to_flags({"verbose": 0, "empty_list": []})

     

       
41
       
 
       
    assert r2 == []

     

···

       
5
       
 
       
}:

     

       
6
       
 
       
buildNpmPackage rec {

     

       
7
       
 
       
  pname = "qdrant-web-ui";

     

       
8
       
-
       
  version = "0.1.34";

     

       
9
       
 
       


     

       
10
       
 
       
  src = fetchFromGitHub {

     

       
11
       
 
       
    owner = "qdrant";

     

       
12
       
 
       
    repo = "qdrant-web-ui";

     

       
13
       
 
       
    tag = "v${version}";

     

       
14
       
-
       
    hash = "sha256-hLjoN0GxRKkEPRw5+ga597QNeuCxl9aZawezfQqBD7I=";

     

       
15
       
 
       
  };

     

       
16
       
 
       


     

       
17
       
-
       
  npmDepsHash = "sha256-ccykE9W6koZ8BDtOZicou264/qwVtEuDdiinGF7rp5I=";

     

       
18
       
 
       


     

       
19
       
 
       
  npmBuildScript = "build-qdrant";

     

       
20
       
 
       


     

···

       
5
       
 
       
}:

     

       
6
       
 
       
buildNpmPackage rec {

     

       
7
       
 
       
  pname = "qdrant-web-ui";

     

       
8
       
+
       
  version = "0.1.35";

     

       
9
       
 
       


     

       
10
       
 
       
  src = fetchFromGitHub {

     

       
11
       
 
       
    owner = "qdrant";

     

       
12
       
 
       
    repo = "qdrant-web-ui";

     

       
13
       
 
       
    tag = "v${version}";

     

       
14
       
+
       
    hash = "sha256-kTXN+uouEf/szksu+rLAXW+As2YyrFF4i8AluFEPRUs=";

     

       
15
       
 
       
  };

     

       
16
       
 
       


     

       
17
       
+
       
  npmDepsHash = "sha256-oZydAlmzNjjcuLtXfhBXrsuOBPyOsnRZZ7DzUVg0eas=";

     

       
18
       
 
       


     

       
19
       
 
       
  npmBuildScript = "build-qdrant";

     

       
20
       
 
       


     

···

       
8
       
 
       


     

       
9
       
 
       
rustPlatform.buildRustPackage rec {

     

       
10
       
 
       
  pname = "river-luatile";

     

       
11
       
-
       
  version = "0.1.3";

     

       
12
       
 
       


     

       
13
       
 
       
  src = fetchFromGitHub {

     

       
14
       
 
       
    owner = "MaxVerevkin";

     

       
15
       
 
       
    repo = "river-luatile";

     

       
16
       
 
       
    rev = "v${version}";

     

       
17
       
-
       
    hash = "sha256-ZBytoj4L72TjxJ7vFivjcSO69AcdwKNbXh4rA/bn5iU=";

     

       
18
       
 
       
  };

     

       
19
       
 
       


     

       
20
       
-
       
  cargoHash = "sha256-GcMSglLKuUD3nVj0/8Nbrk4qs5gl5PlCj7r1MYq/vQg=";

     

       
21
       
 
       


     

       
22
       
 
       
  nativeBuildInputs = [

     

       
23
       
 
       
    pkg-config

     

···

       
8
       
 
       


     

       
9
       
 
       
rustPlatform.buildRustPackage rec {

     

       
10
       
 
       
  pname = "river-luatile";

     

       
11
       
+
       
  version = "0.1.4";

     

       
12
       
 
       


     

       
13
       
 
       
  src = fetchFromGitHub {

     

       
14
       
 
       
    owner = "MaxVerevkin";

     

       
15
       
 
       
    repo = "river-luatile";

     

       
16
       
 
       
    rev = "v${version}";

     

       
17
       
+
       
    hash = "sha256-8/qHoNFoGH1nSdTwBkaQk+yyvJtrXADTA39gUAMeSv8=";

     

       
18
       
 
       
  };

     

       
19
       
 
       


     

       
20
       
+
       
  cargoHash = "sha256-bXPxj8bNI8ZqYFl8XEHdNLqe0meYrlY2ovP3DKLGaqM=";

     

       
21
       
 
       


     

       
22
       
 
       
  nativeBuildInputs = [

     

       
23
       
 
       
    pkg-config

     

···

       
11
       
 
       
}:

     

       
12
       
 
       
stdenv.mkDerivation rec {

     

       
13
       
 
       
  pname = "sqlitestudio";

     

       
14
       
-
       
  version = "3.4.13";

     

       
15
       
 
       


     

       
16
       
 
       
  src = fetchFromGitHub {

     

       
17
       
 
       
    owner = "pawelsalawa";

     

       
18
       
 
       
    repo = "sqlitestudio";

     

       
19
       
 
       
    rev = version;

     

       
20
       
-
       
    hash = "sha256-k7ZedSw4Y1WIUH5IflSrEv4h7zsx40tB8A4/qr9OW9E=";

     

       
21
       
 
       
  };

     

       
22
       
 
       


     

       
23
       
 
       
  nativeBuildInputs =

     

···

       
11
       
 
       
}:

     

       
12
       
 
       
stdenv.mkDerivation rec {

     

       
13
       
 
       
  pname = "sqlitestudio";

     

       
14
       
+
       
  version = "3.4.14";

     

       
15
       
 
       


     

       
16
       
 
       
  src = fetchFromGitHub {

     

       
17
       
 
       
    owner = "pawelsalawa";

     

       
18
       
 
       
    repo = "sqlitestudio";

     

       
19
       
 
       
    rev = version;

     

       
20
       
+
       
    hash = "sha256-eexXRgi/AuxM1mDSdgOsfrv7JDF8NWCXhyAerA9lcBo=";

     

       
21
       
 
       
  };

     

       
22
       
 
       


     

       
23
       
 
       
  nativeBuildInputs =

     

···

       
8
       
 
       


     

       
9
       
 
       
buildGoModule rec {

     

       
10
       
 
       
  pname = "vals";

     

       
11
       
-
       
  version = "0.38.0";

     

       
12
       
 
       


     

       
13
       
 
       
  src = fetchFromGitHub {

     

       
14
       
 
       
    rev = "v${version}";

     

       
15
       
 
       
    owner = "helmfile";

     

       
16
       
 
       
    repo = pname;

     

       
17
       
-
       
    sha256 = "sha256-dN4712rZ/nElYpthW+27WSFOeNmV2Bm7Zx/OEIrKwsQ=";

     

       
18
       
 
       
  };

     

       
19
       
 
       


     

       
20
       
-
       
  vendorHash = "sha256-EihgFqD80YlFaEJfeS2C91ifk7yYhZQcgEUteIk3siM=";

     

       
21
       
 
       


     

       
22
       
 
       
  proxyVendor = true;

     

       
23
       
 
       


     

···

       
8
       
 
       


     

       
9
       
 
       
buildGoModule rec {

     

       
10
       
 
       
  pname = "vals";

     

       
11
       
+
       
  version = "0.39.0";

     

       
12
       
 
       


     

       
13
       
 
       
  src = fetchFromGitHub {

     

       
14
       
 
       
    rev = "v${version}";

     

       
15
       
 
       
    owner = "helmfile";

     

       
16
       
 
       
    repo = pname;

     

       
17
       
+
       
    sha256 = "sha256-Og3klt2FvfSbgplHgO4waG41apu+EePaBxVbVxaTPB0=";

     

       
18
       
 
       
  };

     

       
19
       
 
       


     

       
20
       
+
       
  vendorHash = "sha256-F+eEnYdsXCmFuhJT3qWIrYCOkuEZdz2XFSMIccgz/+o=";

     

       
21
       
 
       


     

       
22
       
 
       
  proxyVendor = true;

     

       
23
       
 
       


     

···

       
6
       
 
       


     

       
7
       
 
       
stdenv.mkDerivation rec {

     

       
8
       
 
       
  pname = "zimfw";

     

       
9
       
-
       
  version = "1.16.0";

     

       
10
       
 
       
  src = fetchFromGitHub {

     

       
11
       
 
       
    owner = "zimfw";

     

       
12
       
 
       
    repo = "zimfw";

     

       
13
       
 
       
    rev = "v${version}";

     

       
14
       
 
       
    ## zim only needs this one file to be installed.

     

       
15
       
 
       
    sparseCheckout = [ "zimfw.zsh" ];

     

       
16
       
-
       
    hash = "sha256-kAy7wT7K1x9di1RRcXHk5e0johdDWtSzDD85chSkNZ0=";

     

       
17
       
 
       
  };

     

       
18
       
 
       
  strictDeps = true;

     

       
19
       
 
       
  dontConfigure = true;

     

···

       
6
       
 
       


     

       
7
       
 
       
stdenv.mkDerivation rec {

     

       
8
       
 
       
  pname = "zimfw";

     

       
9
       
+
       
  version = "1.17.0";

     

       
10
       
 
       
  src = fetchFromGitHub {

     

       
11
       
 
       
    owner = "zimfw";

     

       
12
       
 
       
    repo = "zimfw";

     

       
13
       
 
       
    rev = "v${version}";

     

       
14
       
 
       
    ## zim only needs this one file to be installed.

     

       
15
       
 
       
    sparseCheckout = [ "zimfw.zsh" ];

     

       
16
       
+
       
    hash = "sha256-h8VhnUxelnc67TngQzmKY/098uKgvopBA1YleTiJhWc=";

     

       
17
       
 
       
  };

     

       
18
       
 
       
  strictDeps = true;

     

       
19
       
 
       
  dontConfigure = true;

     

···

       
90
       
 
       
      configureFlagsArray+=("--elfinterp=$(< $NIX_CC/nix-support/dynamic-linker)")

     

       
91
       
 
       
    '';

     

       
92
       
 
       


     

       
93
       
-
       
  env.NIX_CFLAGS_COMPILE = toString (

     

       
94
       
-
       
    lib.optionals stdenv.cc.isClang [

     

       
95
       
-
       
      "-Wno-error=implicit-int"

     

       
96
       
-
       
      "-Wno-error=int-conversion"

     

       
97
       
-
       
    ]

     

       
98
       
-
       
  );

     

       
99
       
 
       


     

       
100
       
 
       
  # Test segfault for static build

     

       
101
       
 
       
  doCheck = !stdenv.hostPlatform.isStatic;

     

···

       
90
       
 
       
      configureFlagsArray+=("--elfinterp=$(< $NIX_CC/nix-support/dynamic-linker)")

     

       
91
       
 
       
    '';

     

       
92
       
 
       


     

       
93
       
+
       
  env.NIX_CFLAGS_COMPILE = toString [

     

       
94
       
+
       
    "-Wno-error=implicit-int"

     

       
95
       
+
       
    "-Wno-error=int-conversion"

     

       
96
       
+
       
  ];

     

       
0
       
 
       

     

       
0
       
 
       

     

       
97
       
 
       


     

       
98
       
 
       
  # Test segfault for static build

     

       
99
       
 
       
  doCheck = !stdenv.hostPlatform.isStatic;

     

···

       
278
       
 
       
                url = "https://github.com/AbsInt/CompCert/commit/20a5b48758bf8ac18e4c420df67017b371efc237.patch";

     

       
279
       
 
       
                hash = "sha256-TJ87CvLiAv1absGnPsTXsD/HQwKgS82loUTcosulyso=";

     

       
280
       
 
       
              })

     

       
0
       
 
       

     

       
0
       
 
       

     

       
0
       
 
       

     

       
0
       
 
       

     

       
0
       
 
       

     

       
0
       
 
       

     

       
0
       
 
       

     

       
0
       
 
       

     

       
0
       
 
       

     

       
0
       
 
       

     

       
0
       
 
       

     

       
0
       
 
       

     

       
0
       
 
       

     

       
0
       
 
       

     

       
0
       
 
       

     

       
0
       
 
       

     

       
0
       
 
       

     

       
0
       
 
       

     

       
281
       
 
       
            ];

     

       
282
       
 
       
          }

     

       
283
       
 
       
        ]

     

···

       
278
       
 
       
                url = "https://github.com/AbsInt/CompCert/commit/20a5b48758bf8ac18e4c420df67017b371efc237.patch";

     

       
279
       
 
       
                hash = "sha256-TJ87CvLiAv1absGnPsTXsD/HQwKgS82loUTcosulyso=";

     

       
280
       
 
       
              })

     

       
281
       
+
       
              # Support for Coq 8.20.1

     

       
282
       
+
       
              (fetchpatch {

     

       
283
       
+
       
                url = "https://github.com/AbsInt/CompCert/commit/e6c9a2d068ae67923bbc7c6b7035b6afde6ece3c.patch";

     

       
284
       
+
       
                hash = "sha256-PtiEkG/aLRotIiqrmc6SQncQSi7IGSC5QX3e52xkOUQ=";

     

       
285
       
+
       
              })

     

       
286
       
+
       
            ];

     

       
287
       
+
       
          }

     

       
288
       
+
       
          {

     

       
289
       
+
       
            cases = [

     

       
290
       
+
       
              (isEq "8.20")

     

       
291
       
+
       
              (isEq "3.15")

     

       
292
       
+
       
            ];

     

       
293
       
+
       
            out = [

     

       
294
       
+
       
              # Support for Coq 8.20.1

     

       
295
       
+
       
              (fetchpatch {

     

       
296
       
+
       
                url = "https://github.com/AbsInt/CompCert/commit/e524b0a19ae5140f64047b1cba6ebbe1d16d5bbf.patch";

     

       
297
       
+
       
                hash = "sha256-24kt0hA75ooyXymH+kNS5VlsuXMHbkqTw4m+BzNUwrw=";

     

       
298
       
+
       
              })

     

       
299
       
 
       
            ];

     

       
300
       
 
       
          }

     

       
301
       
 
       
        ]

     

···

       
5
       
 
       
  coq,

     

       
6
       
 
       
  stdlib,

     

       
7
       
 
       
  version ? null,

     

       
0
       
 
       

     

       
8
       
 
       
}:

     

       
9
       
 
       


     

       
10
       
 
       
let

     

       
11
       
-
       
  elpi = coq.ocamlPackages.elpi.override (

     

       
12
       
-
       
    lib.switch coq.coq-version [

     

       
13
       
-
       
      {

     

       
14
       
-
       
        case = "8.11";

     

       
15
       
-
       
        out = {

     

       
16
       
-
       
          version = "1.11.4";

     

       
17
       
-
       
        };

     

       
18
       
-
       
      }

     

       
19
       
-
       
      {

     

       
20
       
-
       
        case = "8.12";

     

       
21
       
-
       
        out = {

     

       
22
       
-
       
          version = "1.12.0";

     

       
23
       
-
       
        };

     

       
24
       
-
       
      }

     

       
25
       
-
       
      {

     

       
26
       
-
       
        case = "8.13";

     

       
27
       
-
       
        out = {

     

       
28
       
-
       
          version = "1.13.7";

     

       
29
       
-
       
        };

     

       
30
       
-
       
      }

     

       
31
       
-
       
      {

     

       
32
       
-
       
        case = "8.14";

     

       
33
       
-
       
        out = {

     

       
34
       
-
       
          version = "1.13.7";

     

       
35
       
-
       
        };

     

       
36
       
-
       
      }

     

       
37
       
-
       
      {

     

       
38
       
-
       
        case = "8.15";

     

       
39
       
-
       
        out = {

     

       
40
       
-
       
          version = "1.15.0";

     

       
41
       
-
       
        };

     

       
42
       
-
       
      }

     

       
43
       
-
       
      {

     

       
44
       
-
       
        case = "8.16";

     

       
45
       
-
       
        out = {

     

       
46
       
-
       
          version = "1.17.0";

     

       
47
       
-
       
        };

     

       
48
       
-
       
      }

     

       
49
       
-
       
      {

     

       
50
       
-
       
        case = "8.17";

     

       
51
       
-
       
        out = {

     

       
52
       
-
       
          version = "1.17.0";

     

       
53
       
-
       
        };

     

       
54
       
-
       
      }

     

       
55
       
-
       
      {

     

       
56
       
-
       
        case = "8.18";

     

       
57
       
-
       
        out = {

     

       
58
       
-
       
          version = "1.18.1";

     

       
59
       
-
       
        };

     

       
60
       
-
       
      }

     

       
61
       
-
       
      {

     

       
62
       
-
       
        case = "8.19";

     

       
63
       
-
       
        out = {

     

       
64
       
-
       
          version = "1.18.1";

     

       
65
       
-
       
        };

     

       
66
       
-
       
      }

     

       
67
       
-
       
      {

     

       
68
       
-
       
        case = "8.20";

     

       
69
       
-
       
        out = {

     

       
70
       
-
       
          version = "1.19.2";

     

       
71
       
-
       
        };

     

       
72
       
-
       
      }

     

       
73
       
-
       
    ] { }

     

       
74
       
-
       
  );

     

       
75
       
-
       
in

     

       
76
       
-
       
(mkCoqDerivation {

     

       
77
       
 
       
  pname = "elpi";

     

       
78
       
 
       
  repo = "coq-elpi";

     

       
79
       
 
       
  owner = "LPCIC";

     

       
80
       
 
       
  inherit version;

     

       
81
       
 
       
  defaultVersion = lib.switch coq.coq-version [

     

       
82
       
-
       
    {

     

       
83
       
-
       
      case = "8.20";

     

       
84
       
-
       
      out = "2.2.0";

     

       
85
       
-
       
    }

     

       
86
       
-
       
    {

     

       
87
       
-
       
      case = "8.19";

     

       
88
       
-
       
      out = "2.0.1";

     

       
89
       
-
       
    }

     

       
90
       
-
       
    {

     

       
91
       
-
       
      case = "8.18";

     

       
92
       
-
       
      out = "2.0.0";

     

       
93
       
-
       
    }

     

       
94
       
-
       
    {

     

       
95
       
-
       
      case = "8.17";

     

       
96
       
-
       
      out = "1.18.0";

     

       
97
       
-
       
    }

     

       
98
       
-
       
    {

     

       
99
       
-
       
      case = "8.16";

     

       
100
       
-
       
      out = "1.15.6";

     

       
101
       
-
       
    }

     

       
102
       
-
       
    {

     

       
103
       
-
       
      case = "8.15";

     

       
104
       
-
       
      out = "1.14.0";

     

       
105
       
-
       
    }

     

       
106
       
-
       
    {

     

       
107
       
-
       
      case = "8.14";

     

       
108
       
-
       
      out = "1.11.2";

     

       
109
       
-
       
    }

     

       
110
       
-
       
    {

     

       
111
       
-
       
      case = "8.13";

     

       
112
       
-
       
      out = "1.11.1";

     

       
113
       
-
       
    }

     

       
114
       
-
       
    {

     

       
115
       
-
       
      case = "8.12";

     

       
116
       
-
       
      out = "1.8.3_8.12";

     

       
117
       
-
       
    }

     

       
118
       
-
       
    {

     

       
119
       
-
       
      case = "8.11";

     

       
120
       
-
       
      out = "1.6.3_8.11";

     

       
121
       
-
       
    }

     

       
122
       
 
       
  ] null;

     

       
123
       
 
       
  release."2.2.0".sha256 = "sha256-rADEoqTXM7/TyYkUKsmCFfj6fjpWdnZEOK++5oLfC/I=";

     

       
124
       
 
       
  release."2.0.1".sha256 = "sha256-cuoPsEJ+JRLVc9Golt2rJj4P7lKltTrrmQijjoViooc=";

     
···

       
161
       
 
       


     

       
162
       
 
       
  mlPlugin = true;

     

       
163
       
 
       
  useDuneifVersion = v: lib.versions.isGe "2.2.0" v || v == "dev";

     

       
164
       
-
       
  propagatedBuildInputs = [

     

       
165
       
-
       
    coq.ocamlPackages.findlib

     

       
166
       
-
       
    elpi

     

       
167
       
-
       
    stdlib

     

       
168
       
-
       
  ];

     

       
169
       
 
       


     

       
170
       
 
       
  preConfigure = ''

     

       
171
       
 
       
    make elpi/dune || true

     
···

       
176
       
 
       
    maintainers = [ lib.maintainers.cohencyril ];

     

       
177
       
 
       
    license = lib.licenses.lgpl21Plus;

     

       
178
       
 
       
  };

     

       
179
       
-
       
}).overrideAttrs

     

       
0
       
 
       

     

       
0
       
 
       

     

       
0
       
 
       

     

       
0
       
 
       

     

       
0
       
 
       

     

       
0
       
 
       

     

       
0
       
 
       

     

       
0
       
 
       

     

       
0
       
 
       

     

       
0
       
 
       

     

       
0
       
 
       

     

       
180
       
 
       
  (

     

       
181
       
 
       
    o:

     

       
182
       
 
       
    lib.optionalAttrs (o.version != null && (o.version == "dev" || lib.versions.isGe "2.2.0" o.version))

     

       
183
       
 
       
      {

     

       
184
       
 
       
        propagatedBuildInputs = o.propagatedBuildInputs ++ [ coq.ocamlPackages.ppx_optcomp ];

     

       
185
       
 
       
      }

     

       
186
       
-
       
  )

     

       
0
       
 
       

     

···

       
5
       
 
       
  coq,

     

       
6
       
 
       
  stdlib,

     

       
7
       
 
       
  version ? null,

     

       
8
       
+
       
  elpi-version ? null,

     

       
9
       
 
       
}:

     

       
10
       
 
       


     

       
11
       
 
       
let

     

       
12
       
+
       
default-elpi-version = if elpi-version != null then elpi-version else (

     

       
13
       
+
       
  lib.switch coq.coq-version [

     

       
14
       
+
       
    { case = "8.11"; out = "1.11.4"; }

     

       
15
       
+
       
    { case = "8.12"; out = "1.12.0"; }

     

       
16
       
+
       
    { case = "8.13"; out = "1.13.7"; }

     

       
17
       
+
       
    { case = "8.14"; out = "1.13.7"; }

     

       
18
       
+
       
    { case = "8.15"; out = "1.15.0"; }

     

       
19
       
+
       
    { case = "8.16"; out = "1.17.0"; }

     

       
20
       
+
       
    { case = "8.17"; out = "1.17.0"; }

     

       
21
       
+
       
    { case = "8.18"; out = "1.18.1"; }

     

       
22
       
+
       
    { case = "8.19"; out = "1.18.1"; }

     

       
23
       
+
       
    { case = "8.20"; out = "1.19.2"; }

     

       
24
       
+
       
  ] { }

     

       
25
       
+
       
);

     

       
26
       
+
       
elpi = coq.ocamlPackages.elpi.override { version = default-elpi-version; };

     

       
27
       
+
       
propagatedBuildInputs_wo_elpi = [

     

       
28
       
+
       
  coq.ocamlPackages.findlib

     

       
29
       
+
       
  stdlib

     

       
30
       
+
       
];

     

       
31
       
+
       
derivation = mkCoqDerivation {

     

       
0
       
 
       

     

       
0
       
 
       

     

       
0
       
 
       

     

       
0
       
 
       

     

       
0
       
 
       

     

       
0
       
 
       

     

       
0
       
 
       

     

       
0
       
 
       

     

       
0
       
 
       

     

       
0
       
 
       

     

       
0
       
 
       

     

       
0
       
 
       

     

       
0
       
 
       

     

       
0
       
 
       

     

       
0
       
 
       

     

       
0
       
 
       

     

       
0
       
 
       

     

       
0
       
 
       

     

       
0
       
 
       

     

       
0
       
 
       

     

       
0
       
 
       

     

       
0
       
 
       

     

       
0
       
 
       

     

       
0
       
 
       

     

       
0
       
 
       

     

       
0
       
 
       

     

       
0
       
 
       

     

       
0
       
 
       

     

       
0
       
 
       

     

       
0
       
 
       

     

       
0
       
 
       

     

       
0
       
 
       

     

       
0
       
 
       

     

       
0
       
 
       

     

       
0
       
 
       

     

       
0
       
 
       

     

       
0
       
 
       

     

       
0
       
 
       

     

       
0
       
 
       

     

       
0
       
 
       

     

       
0
       
 
       

     

       
0
       
 
       

     

       
0
       
 
       

     

       
0
       
 
       

     

       
0
       
 
       

     

       
0
       
 
       

     

       
32
       
 
       
  pname = "elpi";

     

       
33
       
 
       
  repo = "coq-elpi";

     

       
34
       
 
       
  owner = "LPCIC";

     

       
35
       
 
       
  inherit version;

     

       
36
       
 
       
  defaultVersion = lib.switch coq.coq-version [

     

       
37
       
+
       
    { case = "8.20"; out = "2.2.0"; }

     

       
38
       
+
       
    { case = "8.19"; out = "2.0.1"; }

     

       
39
       
+
       
    { case = "8.18"; out = "2.0.0"; }

     

       
40
       
+
       
    { case = "8.17"; out = "1.18.0"; }

     

       
41
       
+
       
    { case = "8.16"; out = "1.15.6"; }

     

       
42
       
+
       
    { case = "8.15"; out = "1.14.0"; }

     

       
43
       
+
       
    { case = "8.14"; out = "1.11.2"; }

     

       
44
       
+
       
    { case = "8.13"; out = "1.11.1"; }

     

       
45
       
+
       
    { case = "8.12"; out = "1.8.3_8.12"; }

     

       
46
       
+
       
    { case = "8.11"; out = "1.6.3_8.11"; }

     

       
0
       
 
       

     

       
0
       
 
       

     

       
0
       
 
       

     

       
0
       
 
       

     

       
0
       
 
       

     

       
0
       
 
       

     

       
0
       
 
       

     

       
0
       
 
       

     

       
0
       
 
       

     

       
0
       
 
       

     

       
0
       
 
       

     

       
0
       
 
       

     

       
0
       
 
       

     

       
0
       
 
       

     

       
0
       
 
       

     

       
0
       
 
       

     

       
0
       
 
       

     

       
0
       
 
       

     

       
0
       
 
       

     

       
0
       
 
       

     

       
0
       
 
       

     

       
0
       
 
       

     

       
0
       
 
       

     

       
0
       
 
       

     

       
0
       
 
       

     

       
0
       
 
       

     

       
0
       
 
       

     

       
0
       
 
       

     

       
0
       
 
       

     

       
0
       
 
       

     

       
47
       
 
       
  ] null;

     

       
48
       
 
       
  release."2.2.0".sha256 = "sha256-rADEoqTXM7/TyYkUKsmCFfj6fjpWdnZEOK++5oLfC/I=";

     

       
49
       
 
       
  release."2.0.1".sha256 = "sha256-cuoPsEJ+JRLVc9Golt2rJj4P7lKltTrrmQijjoViooc=";

     
···

       
86
       
 
       


     

       
87
       
 
       
  mlPlugin = true;

     

       
88
       
 
       
  useDuneifVersion = v: lib.versions.isGe "2.2.0" v || v == "dev";

     

       
89
       
+
       


     

       
90
       
+
       
  propagatedBuildInputs = propagatedBuildInputs_wo_elpi ++ [ elpi ];

     

       
0
       
 
       

     

       
0
       
 
       

     

       
0
       
 
       

     

       
91
       
 
       


     

       
92
       
 
       
  preConfigure = ''

     

       
93
       
 
       
    make elpi/dune || true

     
···

       
98
       
 
       
    maintainers = [ lib.maintainers.cohencyril ];

     

       
99
       
 
       
    license = lib.licenses.lgpl21Plus;

     

       
100
       
 
       
  };

     

       
101
       
+
       
};

     

       
102
       
+
       
patched-derivation1 = derivation.overrideAttrs

     

       
103
       
+
       
  (

     

       
104
       
+
       
    o:

     

       
105
       
+
       
    lib.optionalAttrs (o ? elpi-version)

     

       
106
       
+
       
      {

     

       
107
       
+
       
        propagatedBuildInputs = propagatedBuildInputs_wo_elpi ++ [

     

       
108
       
+
       
          (coq.ocamlPackages.elpi.override { version = o.elpi-version; })

     

       
109
       
+
       
        ];

     

       
110
       
+
       
      }

     

       
111
       
+
       
  );

     

       
112
       
+
       
patched-derivation2 = patched-derivation1.overrideAttrs

     

       
113
       
 
       
  (

     

       
114
       
 
       
    o:

     

       
115
       
 
       
    lib.optionalAttrs (o.version != null && (o.version == "dev" || lib.versions.isGe "2.2.0" o.version))

     

       
116
       
 
       
      {

     

       
117
       
 
       
        propagatedBuildInputs = o.propagatedBuildInputs ++ [ coq.ocamlPackages.ppx_optcomp ];

     

       
118
       
 
       
      }

     

       
119
       
+
       
  );

     

       
120
       
+
       
in patched-derivation2