···4455## Basic usage {#sec-citrix-base}6677-The tarball archive needs to be downloaded manually, as the license agreements of the vendor for [Citrix Workspace](https://www.citrix.de/downloads/workspace-app/linux/workspace-app-for-linux-latest.html) needs to be accepted first. Then run `nix-prefetch-url file://$PWD/linuxx64-$version.tar.gz`. With the archive available in the store, the package can be built and installed with Nix.77+The tarball archive needs to be downloaded manually, as the license agreements of the vendor for [Citrix Workspace](https://www.citrix.com/downloads/workspace-app/linux/workspace-app-for-linux-latest.html) needs to be accepted first. Then run `nix-prefetch-url file://$PWD/linuxx64-$version.tar.gz`. With the archive available in the store, the package can be built and installed with Nix.8899## Citrix Self-service {#sec-citrix-selfservice}1010···19192020## Custom certificates {#sec-citrix-custom-certs}21212222-The `Citrix Workspace App` in `nixpkgs` trusts several certificates [from the Mozilla database](https://curl.haxx.se/docs/caextract.html) by default. However, several companies using Citrix might require their own corporate certificate. On distros with imperative packaging, these certs can be stored easily in [`$ICAROOT`](https://developer-docs.citrix.com/projects/receiver-for-linux-command-reference/en/13.7/), however this directory is a store path in `nixpkgs`. In order to work around this issue, the package provides a simple mechanism to add custom certificates without rebuilding the entire package using `symlinkJoin`:2222+The `Citrix Workspace App` in `nixpkgs` trusts several certificates [from the Mozilla database](https://curl.haxx.se/docs/caextract.html) by default. However, several companies using Citrix might require their own corporate certificate. On distros with imperative packaging, these certs can be stored easily in [`$ICAROOT`](https://citrix.github.io/receiver-for-linux-command-reference/), however this directory is a store path in `nixpkgs`. In order to work around this issue, the package provides a simple mechanism to add custom certificates without rebuilding the entire package using `symlinkJoin`:23232424```nix2525with import <nixpkgs> { config.allowUnfree = true; };
+1-1
doc/builders/packages/ibus.section.md
···4455## Activating the engine {#sec-ibus-typing-booster-activate}6677-IBus needs to be configured accordingly to activate `typing-booster`. The configuration depends on the desktop manager in use. For detailed instructions, please refer to the [upstream docs](https://mike-fabian.github.io/ibus-typing-booster/documentation.html).77+IBus needs to be configured accordingly to activate `typing-booster`. The configuration depends on the desktop manager in use. For detailed instructions, please refer to the [upstream docs](https://mike-fabian.github.io/ibus-typing-booster/).8899On NixOS, you need to explicitly enable `ibus` with given engines before customizing your desktop to use `typing-booster`. This can be achieved using the `ibus` module:1010
+3-3
doc/languages-frameworks/dotnet.section.md
···2828 packages = [2929 (with dotnetCorePackages; combinePackages [3030 sdk_3_13131- sdk_5_03131+ sdk_6_03232 ])3333 ];3434}3535```36363737-This will produce a dotnet installation that has the dotnet 3.1, 3.0, and 2.1 sdk. The first sdk listed will have it's cli utility present in the resulting environment. Example info output:3737+This will produce a dotnet installation that has the dotnet 3.1 6.0 sdk. The first sdk listed will have it's cli utility present in the resulting environment. Example info output:38383939```ShellSession4040$ dotnet --info···120120 projectReferences = [ referencedProject ]; # `referencedProject` must contain `nupkg` in the folder structure.121121122122 dotnet-sdk = dotnetCorePackages.sdk_3_1;123123- dotnet-runtime = dotnetCorePackages.net_5_0;123123+ dotnet-runtime = dotnetCorePackages.net_6_0;124124125125 executables = [ "foo" ]; # This wraps "$out/lib/$pname/foo" to `$out/bin/foo`.126126 executables = []; # Don't install any executables.
+2-2
doc/languages-frameworks/gnome.section.md
···34343535### GdkPixbuf loaders {#ssec-gnome-gdk-pixbuf-loaders}36363737-GTK applications typically use [GdkPixbuf](https://developer.gnome.org/gdk-pixbuf/stable/) to load images. But `gdk-pixbuf` package only supports basic bitmap formats like JPEG, PNG or TIFF, requiring to use third-party loader modules for other formats. This is especially painful since GTK itself includes SVG icons, which cannot be rendered without a loader provided by `librsvg`.3737+GTK applications typically use [GdkPixbuf](https://gitlab.gnome.org/GNOME/gdk-pixbuf/) to load images. But `gdk-pixbuf` package only supports basic bitmap formats like JPEG, PNG or TIFF, requiring to use third-party loader modules for other formats. This is especially painful since GTK itself includes SVG icons, which cannot be rendered without a loader provided by `librsvg`.38383939Unlike other libraries mentioned in this section, GdkPixbuf only supports a single value in its controlling environment variable `GDK_PIXBUF_MODULE_FILE`. It is supposed to point to a cache file containing information about the available loaders. Each loader package will contain a `lib/gdk-pixbuf-2.0/2.10.0/loaders.cache` file describing the default loaders in `gdk-pixbuf` package plus the loader contained in the package itself. If you want to use multiple third-party loaders, you will need to create your own cache file manually. Fortunately, this is pretty rare as [not many loaders exist](https://gitlab.gnome.org/federico/gdk-pixbuf-survey/blob/master/src/modules.md).4040···70707171### GTK Themes {#ssec-gnome-themes}72727373-Previously, a GTK theme needed to be in `XDG_DATA_DIRS`. This is no longer necessary for most programs since GTK incorporated Adwaita theme. Some programs (for example, those designed for [elementary HIG](https://elementary.io/docs/human-interface-guidelines#human-interface-guidelines)) might require a special theme like `pantheon.elementary-gtk-theme`.7373+Previously, a GTK theme needed to be in `XDG_DATA_DIRS`. This is no longer necessary for most programs since GTK incorporated Adwaita theme. Some programs (for example, those designed for [elementary HIG](https://docs.elementary.io/hig)) might require a special theme like `pantheon.elementary-gtk-theme`.74747575### GObject introspection typelibs {#ssec-gnome-typelibs}7676
+6-1
lib/licenses.nix
···715715716716 ncsa = {717717 spdxId = "NCSA";718718- fullName = "University of Illinois/NCSA Open Source License";718718+ fullName = "University of Illinois/NCSA Open Source License";719719+ };720720+721721+ nlpl = {722722+ spdxId = "NLPL";723723+ fullName = "No Limit Public License";719724 };720725721726 nposl3 = {
···6363 </listitem>6464 <listitem>6565 <para>6666+ <link xlink:href="https://www.magicbug.co.uk/cloudlog/">Cloudlog</link>,6767+ a web-based Amateur Radio logging application. Available as6868+ <link linkend="opt-services.cloudlog.enable">services.cloudlog</link>.6969+ </para>7070+ </listitem>7171+ <listitem>7272+ <para>6673 <link xlink:href="https://github.com/junegunn/fzf">fzf</link>,6774 a command line fuzzyfinder. Available as6875 <link linkend="opt-programs.fzf.fuzzyCompletion">programs.fzf</link>.···377370 package has been removed in favour of direct use of its378371 constitutents: <literal>xorg.libX11</literal>,379372 <literal>freetype</literal> and others.373373+ </para>374374+ </listitem>375375+ <listitem>376376+ <para>377377+ .NET 5.0 was removed due to being end-of-life, use a newer,378378+ supported .NET version -379379+ https://dotnet.microsoft.com/en-us/platform/support/policy/dotnet-core380380 </para>381381 </listitem>382382 </itemizedlist>
+4
nixos/doc/manual/release-notes/rl-2305.section.md
···24242525- [cups-pdf-to-pdf](https://github.com/alexivkin/CUPS-PDF-to-PDF), a pdf-generating cups backend based on [cups-pdf](https://www.cups-pdf.de/). Available as [services.printing.cups-pdf](#opt-services.printing.cups-pdf.enable).26262727+- [Cloudlog](https://www.magicbug.co.uk/cloudlog/), a web-based Amateur Radio logging application. Available as [services.cloudlog](#opt-services.cloudlog.enable).2828+2729- [fzf](https://github.com/junegunn/fzf), a command line fuzzyfinder. Available as [programs.fzf](#opt-programs.fzf.fuzzyCompletion).28302931- [gmediarender](https://github.com/hzeller/gmrender-resurrect), a simple, headless UPnP/DLNA renderer. Available as [services.gmediarender](options.html#opt-services.gmediarender.enable).···9290- The `nix.readOnlyStore` option has been renamed to `boot.readOnlyNixStore` to clarify that it configures the NixOS boot process, not the Nix daemon.93919492- Deprecated `xlibsWrapper` transitional package has been removed in favour of direct use of its constitutents: `xorg.libX11`, `freetype` and others.9393+9494+- .NET 5.0 was removed due to being end-of-life, use a newer, supported .NET version - https://dotnet.microsoft.com/en-us/platform/support/policy/dotnet-core95959696## Other Notable Changes {#sec-release-23.05-notable-changes}9797
···33, lib44, llvmPackages55, protobuf66+, rocksdb67, rustPlatform78, stdenv89, writeShellScriptBin910, Security1111+, SystemConfiguration1012}:1113rustPlatform.buildRustPackage rec {1214 pname = "polkadot";1313- version = "0.9.36";1515+ version = "0.9.37";14161517 src = fetchFromGitHub {1618 owner = "paritytech";1719 repo = "polkadot";1820 rev = "v${version}";1919- sha256 = "sha256-HzQFlnn+SPasI0g0DYDCRoFCMVyxlUmEQAobvzRnAW4=";2121+ hash = "sha256-/mgJNjliPUmMkhT/1oiX9+BJHfY3SMsKfFv9HCyWRQQ=";20222123 # the build process of polkadot requires a .git folder in order to determine2224 # the git commit hash that is being built and add it to the version string.···3432 '';3533 };36343737- cargoSha256 = "sha256-P31GW/1HiaZLF6e8Fq1YnH1ZLhiOhURm8st9a4KRlJU=";3535+ cargoHash = "sha256-o+APFYKgA3zjQSGrkpnyf5LEBBqvZtcfWlzCk6nL02A=";38363939- buildInputs = lib.optionals stdenv.isDarwin [ Security ];3737+ buildInputs = lib.optionals stdenv.isDarwin [ Security SystemConfiguration ];40384139 nativeBuildInputs = [ rustPlatform.bindgenHook ];4240···4644 '';47454846 PROTOC = "${protobuf}/bin/protoc";4747+ ROCKSDB_LIB_DIR = "${rocksdb}/lib";49485049 # NOTE: We don't build the WASM runtimes since this would require a more5150 # complicated rust environment setup and this is only needed for developer
···33, enableWideVine, ungoogled44}:5566-with lib;77-86mkChromiumDerivation (base: rec {97 name = "chromium-browser";108 packageName = "chromium";···74767577 meta = {7678 description = "An open source web browser from Google"7777- + optionalString ungoogled ", with dependencies on Google web services removed";7979+ + lib.optionalString ungoogled ", with dependencies on Google web services removed";7880 longDescription = ''7981 Chromium is an open source web browser from Google that aims to build a8082 safer, faster, and more stable way for all Internet users to experience···8486 homepage = if ungoogled8587 then "https://github.com/Eloston/ungoogled-chromium"8688 else "https://www.chromium.org/";8787- maintainers = with maintainers; if ungoogled8989+ maintainers = with lib.maintainers; if ungoogled8890 then [ squalus primeos michaeladler ]8991 else [ primeos thefloweringash ];9090- license = if enableWideVine then licenses.unfree else licenses.bsd3;9191- platforms = platforms.linux;9292+ license = if enableWideVine then lib.licenses.unfree else lib.licenses.bsd3;9393+ platforms = lib.platforms.linux;9294 mainProgram = "chromium";9395 hydraPlatforms = if (channel == "stable" || channel == "ungoogled-chromium")9496 then ["aarch64-linux" "x86_64-linux"]
···2525, pkgsBuildBuild2626}:27272828-with lib;2929-3028# k3s is a kinda weird derivation. One of the main points of k3s is the3129# simplicity of it being one binary that can perform several tasks.3230# However, when you have a good package manager (like nix), that doesn't···7173 # run `grep github.com/kubernetes-sigs/cri-tools go.mod | head -n1 | awk '{print $4}'` in the k3s repo at the tag7274 criCtlVersion = "1.26.0-rc.0-k3s1";73757474- baseMeta = {7676+ baseMeta = with lib; {7577 description = "A lightweight Kubernetes distribution";7678 license = licenses.asl20;7779 homepage = "https://k3s.io";
···11{ stdenv, lib, fetchFromGitHub, wrapPython, fetchpatch }:2233-with lib;44-53stdenv.mkDerivation {64 pname = "droopy";75 version = "20160830";···3032 wrapPythonPrograms3133 '';32343333- meta = {3535+ meta = with lib; {3436 description = "Mini Web server that let others upload files to your computer";3537 homepage = "http://stackp.online.fr/droopy";3638 license = licenses.bsd3;
···7788rustPlatform.buildRustPackage rec {99 pname = "git-cliff";1010- version = "1.1.1";1010+ version = "1.1.2";11111212 src = fetchFromGitHub {1313 owner = "orhun";1414 repo = "git-cliff";1515 rev = "v${version}";1616- hash = "sha256-GCHwpOfjti9PETy3cHFHBFBot6YcSSFTBCd3zEtpP3U=";1616+ hash = "sha256-QYldwxQYod5qkNC3soiKoCLDFR4UaLxdGkVufn1JIeE=";1717 };18181919- cargoHash = "sha256-76HWkfct9weA64yvY5G/l96mjNpuKjPYHFZ5Ctz43Us=";1919+ cargoHash = "sha256-jwDJb9Hl0PegCufmaj1Q3h5itgt26E4dwmcyCxZ+4FM=";20202121 # attempts to run the program on .git in src which is not deterministic2222 doCheck = false;
···11-{ fetchzip }:11+{ lib, stdenvNoCC, fetchurl }:2233-fetchzip {44- name = "bakoma-ttf";33+stdenvNoCC.mkDerivation rec {44+ pname = "bakoma-ttf";55+ version = "2.2";5666- url = "http://tarballs.nixos.org/sha256/1j1y3cq6ys30m734axc0brdm2q9n2as4h32jws15r7w5fwr991km";77+ src = fetchurl {88+ name = "${pname}.tar.bz2";99+ url = "http://tarballs.nixos.org/sha256/1j1y3cq6ys30m734axc0brdm2q9n2as4h32jws15r7w5fwr991km";1010+ hash = "sha256-dYaUMneFn1yC5lIMSLQSNmFRW16AdUXGqWBobzAbPsg=";1111+ };71288- postFetch = ''99- tar xjvf $downloadedFile --strip-components=11313+ installPhase = ''1414+ runHook preInstall1515+1016 mkdir -p $out/share/fonts/truetype1117 cp ttf/*.ttf $out/share/fonts/truetype1212- '';13181414- sha256 = "0g7i723n00cqx2va05z1h6v3a2ar69gqw4hy6pjj7m0ml906rngc";1919+ runHook postInstall2020+ '';15211622 meta = {1723 description = "TrueType versions of the Computer Modern and AMS TeX Fonts";
+14-9
pkgs/data/fonts/caladea/default.nix
···11-{ lib, fetchzip }:11+{ lib, stdenvNoCC, fetchurl }:2233-let33+stdenvNoCC.mkDerivation rec {44+ pname = "caladea";45 version = "20130214";55-in fetchzip {66- name = "caladea-${version}";7688- url = "https://commondatastorage.googleapis.com/chromeos-localmirror/distfiles/crosextrafonts-${version}.tar.gz";99- postFetch = ''1010- tar -xzvf $downloadedFile --strip-components=177+ src = fetchurl {88+ url = "https://commondatastorage.googleapis.com/chromeos-localmirror/distfiles/crosextrafonts-${version}.tar.gz";99+ hash = "sha256-xI0cL9YTycBslZw02nuDiAWeJAjSuxmEXcPtNfduTQk=";1010+ };1111+1212+ installPhase = ''1313+ runHook preInstall1414+1115 mkdir -p $out/etc/fonts/conf.d1216 mkdir -p $out/share/fonts/truetype1317 cp -v *.ttf $out/share/fonts/truetype1418 cp -v ${./cambria-alias.conf} $out/etc/fonts/conf.d/30-cambria.conf1919+2020+ runHook postInstall1521 '';1616- sha256 = "0kwm42ggr8kvcn3554cpmv90xzam1sdncx7x3zs3bzp88mxrnv1z";17221823 meta = with lib; {1924 # This font doesn't appear to have any official web site but this···3227 '';3328 license = licenses.asl20;3429 platforms = platforms.all;3535- maintainers = [maintainers.rycee];3030+ maintainers = [ maintainers.rycee ];36313732 # Reduce the priority of this package. The intent is that if you3833 # also install the `vista-fonts` package, then you probably will
···11-{ lib, fetchzip }:11+{ lib, stdenvNoCC, fetchurl }:2233-let33+stdenvNoCC.mkDerivation rec {44 pname = "unfonts-core";55 version = "1.0.2-080608";66-in fetchzip {77- name = "${pname}-${version}";88- url = "https://kldp.net/unfonts/release/2607-un-fonts-core-${version}.tar.gz";99- hash = "sha256-k9C7d/SbVLWFzRnDWpOIMtY6cAEIcaLcbxQAqjwuWds=";1061111- postFetch = ''1212- tar -xzf $downloadedFile --strip-components=177+ src = fetchurl {88+ url = "https://kldp.net/unfonts/release/2607-un-fonts-core-${version}.tar.gz";99+ hash = "sha256-OwpydPmqt+jw8ZOMAacOFYF2bVG0lLoUVoPzesVXkY4=";1010+ };1111+1212+ installPhase = ''1313+ runHook preInstall1414+1315 install -m444 -Dt $out/share/fonts/truetype *.ttf1616+1717+ runHook postInstall1418 '';15191620 meta = with lib; {···2420 The Un-fonts come from the HLaTeX as type1 fonts in 1998 by Koaunghi Un, he made type1 fonts to use with Korean TeX (HLaTeX) in the late 1990's and released it under the GPL license.25212622 They were converted to TrueType with the FontForge (PfaEdit) by Won-kyu Park in 2003.2727- '';2323+ '';2824 license = licenses.gpl2;2925 platforms = platforms.all;3026 maintainers = [ maintainers.ehmry ];
···9595 install -m 644 ../../${pname}/include/${if stdenv.isDarwin then "*" else "cxxabi.h"} "$dev/include"9696 '';97979898+ passthru = {9999+ libName = "c++abi";100100+ };101101+98102 meta = llvm_meta // {99103 homepage = "https://libcxxabi.llvm.org/";100104 description = "Provides C++ standard library support";
+4-4
pkgs/development/compilers/zulu/8.nix
···2121}:22222323let2424- version = "8.48.0.53";2525- openjdk = "8.0.265";2424+ version = "8.68.0.19";2525+ openjdk = "8.0.362";26262727- sha256_linux = "ed32513524b32a83b3b388831c69d1884df5675bd5069c6d1485fd1a060be209";2828- sha256_darwin = "36f189bfbd0255195848835819377474ba9c1c868e3c204633c451c96e21f30a";2727+ sha256_linux = "sha256-jNty0iJoXG+sp7v2fGCrwZWCSZfQ4tkYe8ERixQMKL0=";2828+ sha256_darwin = "sha256-3/P3puM6a7tCHP5eZM6IzbdPrqnhY1dTa7QWss9M08M=";29293030 platform = if stdenv.isDarwin then "macosx" else "linux";3131 hash = if stdenv.isDarwin then sha256_darwin else sha256_linux;
+5-5
pkgs/development/compilers/zulu/default.nix
···2222}:23232424let2525- version = "11.52.13";2626- openjdk = "11.0.13";2525+ version = "11.62.17";2626+ openjdk = "11.0.18";27272828- sha256_x64_linux = "77a126669b26b3a89e0117b0f28cddfcd24fcd7699b2c1d35f921487148b9a9f";2929- sha256_x64_darwin = "a96f9f859350f977319ebb5c2a999c182ab6b99b24c60e19d97c54367868a63e";3030- sha256_aarch64_darwin = "dmzfergSUVz39T30PT/6ZtT8JNqv5lzdX7zUsXsFGJg=";2828+ sha256_x64_linux = "sha256-b65oEbDzrrsUw+WaX94USBz/QS74yiMiGZPxqzMmmqs=";2929+ sha256_x64_darwin = "sha256-nRRWTWiog8bRblmmPIPE5YibA34St3ZrJpZN91qEDUg=";3030+ sha256_aarch64_darwin = "sha256-TBTrBxOfGo6MV+Md49P3sDfqVG1e+NraqfVbw9WTppk=";31313232 platform = if stdenv.isDarwin then "macosx" else "linux";3333 hash = if stdenv.isAarch64 && stdenv.isDarwin then sha256_aarch64_darwin else if stdenv.isDarwin then sha256_x64_darwin else sha256_x64_linux;
+2-2
pkgs/development/coq-modules/Cheerios/default.nix
···11{ lib, mkCoqDerivation, coq, StructTact, version ? null }:2233-with lib; mkCoqDerivation {33+mkCoqDerivation {44 pname = "cheerios";55 owner = "uwplse";66 inherit version;77- defaultVersion = if versions.range "8.6" "8.16" coq.version then "20200201" else null;77+ defaultVersion = if lib.versions.range "8.6" "8.16" coq.version then "20200201" else null;88 release."20200201".rev = "9c7f66e57b91f706d70afa8ed99d64ed98ab367d";99 release."20200201".sha256 = "1h55s6lk47bk0lv5ralh81z55h799jbl9mhizmqwqzy57y8wqgs1";1010
+3-3
pkgs/development/coq-modules/CoLoR/default.nix
···11{ lib, mkCoqDerivation, coq, bignums, version ? null }:2233-with lib; mkCoqDerivation {33+mkCoqDerivation {44 pname = "color";55 owner = "fblanqui";66 inherit version;77- defaultVersion = with versions; switch coq.version [77+ defaultVersion = with lib.versions; lib.switch coq.version [88 {case = range "8.12" "8.16"; out = "1.8.2"; }99 {case = range "8.10" "8.11"; out = "1.7.0"; }1010 {case = range "8.8" "8.9"; out = "1.6.0"; }···2626 meta = {2727 homepage = "https://github.com/fblanqui/color";2828 description = "CoLoR is a library of formal mathematical definitions and proofs of theorems on rewriting theory and termination whose correctness has been mechanically checked by the Coq proof assistant.";2929- maintainers = with maintainers; [ jpas jwiegley ];2929+ maintainers = with lib.maintainers; [ jpas jwiegley ];3030 };3131}
+3-3
pkgs/development/coq-modules/HoTT/default.nix
···11{ lib, mkCoqDerivation, autoconf, automake, coq, version ? null }:2233-with lib; mkCoqDerivation {33+mkCoqDerivation {44 pname = "HoTT";55 repo = "Coq-HoTT";66 owner = "HoTT";77 inherit version;88- defaultVersion = with versions; switch coq.coq-version [88+ defaultVersion = with lib.versions; lib.switch coq.coq-version [99 { case = range "8.14" "8.16"; out = coq.coq-version; }1010 ] null;1111 releaseRev = v: "V${v}";···2020 meta = {2121 homepage = "https://homotopytypetheory.org/";2222 description = "Homotopy type theory";2323- maintainers = with maintainers; [ siddharthist ];2323+ maintainers = with lib.maintainers; [ siddharthist ];2424 };2525}
+3-3
pkgs/development/coq-modules/ITree/default.nix
···11{ lib, mkCoqDerivation, coq, version ? null , paco, coq-ext-lib }:2233-with lib; mkCoqDerivation rec {33+mkCoqDerivation rec {44 pname = "InteractionTrees";55 owner = "DeepSpec";66 inherit version;77- defaultVersion = with versions; switch coq.version [77+ defaultVersion = with lib.versions; lib.switch coq.version [88 { case = range "8.10" "8.16"; out = "4.0.0"; }99 ] null;1010 release."4.0.0".sha256 = "0h5rhndl8syc24hxq1gch86kj7mpmgr89bxp2hmf28fd7028ijsm";···1212 propagatedBuildInputs = [ coq-ext-lib paco ];1313 meta = {1414 description = "A Library for Representing Recursive and Impure Programs in Coq";1515- maintainers = with maintainers; [ larsr ];1515+ maintainers = with lib.maintainers; [ larsr ];1616 };1717}
···11{ lib, mkCoqDerivation, coq, version ? null }:2233-with lib; mkCoqDerivation {33+mkCoqDerivation {44 pname = "StructTact";55 owner = "uwplse";66 inherit version;77- defaultVersion = with versions; switch coq.coq-version [77+ defaultVersion = with lib.versions; lib.switch coq.coq-version [88 { case = range "8.6" "8.16"; out = "20210328"; }99 { case = range "8.5" "8.13"; out = "20181102"; }1010 ] null;
+2-4
pkgs/development/coq-modules/VST/default.nix
···11{ lib, mkCoqDerivation, coq, compcert, ITree, version ? null }:2233-with lib;44-53# A few modules that are not built and installed by default64# but that may be useful to some users.75# They depend on ITree.···911 "powerlater.v"1012 ]1113 # floyd/printf.v is broken in VST 2.91212- ++ optional (!versions.isGe "8.13" coq.coq-version) "printf.v"1414+ ++ lib.optional (!lib.versions.isGe "8.13" coq.coq-version) "printf.v"1315 ++ [1416 "quickprogram.v"1517 ];···2224 owner = "PrincetonUniversity";2325 repo = "VST";2426 inherit version;2525- defaultVersion = with versions; switch coq.coq-version [2727+ defaultVersion = with lib.versions; lib.switch coq.coq-version [2628 { case = range "8.15" "8.16"; out = "2.11.1"; }2729 { case = range "8.14" "8.16"; out = "2.10"; }2830 { case = range "8.13" "8.15"; out = "2.9"; }
···11{ lib, mkCoqDerivation, coq, ssreflect, equations, version ? null }:2233-with lib; mkCoqDerivation {33+mkCoqDerivation {4455 pname = "category-theory";66 owner = "jwiegley";···1616 release."20180709".sha256 = "0f2nr8dgn1ab7hr7jrdmr1zla9g9h8216q4yf4wnff9qkln8sbbs";17171818 inherit version;1919- defaultVersion = with versions; switch coq.coq-version [1919+ defaultVersion = with lib.versions; lib.switch coq.coq-version [2020 { case = range "8.14" "8.16"; out = "1.0.0"; }2121 { case = range "8.10" "8.15"; out = "20211213"; }2222 { case = range "8.8" "8.9"; out = "20190414"; }···28282929 meta = {3030 description = "A formalization of category theory in Coq for personal study and practical work";3131- maintainers = with maintainers; [ jwiegley ];3131+ maintainers = with lib.maintainers; [ jwiegley ];3232 };3333}
+2-3
pkgs/development/coq-modules/ceres/default.nix
···11{ lib, mkCoqDerivation, coq, version ? null }:2233-with lib;43mkCoqDerivation {5465 pname = "ceres";···78 owner = "Lysxia";89910 inherit version;1010- defaultVersion = if versions.range "8.8" "8.16" coq.version then "0.4.0" else null;1111+ defaultVersion = if lib.versions.range "8.8" "8.16" coq.version then "0.4.0" else null;1112 release."0.4.0".sha256 = "sha256:0zwp3pn6fdj0qdig734zdczrls886al06mxqhhabms0jvvqijmbi";12131313- meta = {1414+ meta = with lib; {1415 description = "Library for serialization to S-expressions";1516 license = licenses.mit;1617 maintainers = with maintainers; [ Zimmi48 ];
+2-4
pkgs/development/coq-modules/compcert/default.nix
···55, version ? null66}:7788-with lib;99-108let compcert = mkCoqDerivation rec {1191210 pname = "compcert";···1315 inherit version;1416 releaseRev = v: "v${v}";15171616- defaultVersion = with versions; switch coq.version [1818+ defaultVersion = with lib.versions; lib.switch coq.version [1719 { case = range "8.14" "8.16"; out = "3.11"; }1820 { case = isEq "8.13" ; out = "3.10"; }1921 { case = isEq "8.12" ; out = "3.9"; }···8284}; in8385compcert.overrideAttrs (o:8486 {8585- patches = with versions; switch [ coq.version o.version ] [8787+ patches = with lib.versions; lib.switch [ coq.version o.version ] [8688 { cases = [ (range "8.12.2" "8.13.2") "3.8" ];8789 out = [8890 # Support for Coq 8.12.2
···11{ lib, mkCoqDerivation, coq, version ? null }:2233-with lib; mkCoqDerivation rec {33+mkCoqDerivation rec {44 pname = "coq-ext-lib";55 owner = "coq-ext-lib";66 inherit version;77- defaultVersion = with versions; switch coq.coq-version [77+ defaultVersion = with lib.versions; lib.switch coq.coq-version [88 { case = range "8.11" "8.16"; out = "0.11.7"; }99 { case = range "8.8" "8.16"; out = "0.11.6"; }1010 { case = range "8.8" "8.14"; out = "0.11.4"; }···30303131 meta = {3232 description = "A collection of theories and plugins that may be useful in other Coq developments";3333- maintainers = with maintainers; [ jwiegley ptival ];3333+ maintainers = with lib.maintainers; [ jwiegley ptival ];3434 };3535}
···11{ lib, mkCoqDerivation, coq, equations, LibHyps, version ? null }:22-with lib;3243(mkCoqDerivation {54 pname = "hydra-battles";···1011 releaseRev = (v: "v${v}");11121213 inherit version;1313- defaultVersion = with versions; switch coq.coq-version [1414+ defaultVersion = with lib.versions; lib.switch coq.coq-version [1415 { case = range "8.13" "8.16"; out = "0.6"; }1516 { case = range "8.11" "8.12"; out = "0.4"; }1617 ] null;17181819 useDune = true;19202020- meta = {2121+ meta = with lib; {2122 description = "Exploration of some properties of Kirby and Paris' hydra battles, with the help of Coq";2223 longDescription = ''2324 An exploration of some properties of Kirby and Paris' hydra···3233 };3334}).overrideAttrs(o:3435 let inherit (o) version; in {3535- propagatedBuildInputs = [ equations ] ++ optional (versions.isGe "0.6" version || version == "dev") LibHyps;3636+ propagatedBuildInputs = [ equations ] ++ lib.optional (lib.versions.isGe "0.6" version || version == "dev") LibHyps;3637 })
+3-3
pkgs/development/coq-modules/iris/default.nix
···11{ lib, mkCoqDerivation, coq, stdpp, version ? null }:2233-with lib; mkCoqDerivation rec {33+mkCoqDerivation rec {44 pname = "iris";55 domain = "gitlab.mpi-sws.org";66 owner = "iris";77 inherit version;88- defaultVersion = with versions; switch coq.coq-version [88+ defaultVersion = with lib.versions; lib.switch coq.coq-version [99 { case = range "8.13" "8.16"; out = "4.0.0"; }1010 { case = range "8.12" "8.14"; out = "3.5.0"; }1111 { case = range "8.11" "8.13"; out = "3.4.0"; }···2626 fi2727 '';28282929- meta = {2929+ meta = with lib; {3030 description = "The Coq development of the Iris Project";3131 license = licenses.bsd3;3232 maintainers = [ maintainers.vbgl ];
+2-3
pkgs/development/coq-modules/itauto/default.nix
···11{ lib, mkCoqDerivation, coq, version ? null }:22-with lib;3243mkCoqDerivation rec {54 pname = "itauto";···1011 release."8.14.0".sha256 = "sha256:1k6pqhv4dwpkwg81f2rlfg40wh070ks1gy9r0ravm2zhsbxqcfc9";1112 release."8.13+no".sha256 = "sha256-gXoxtLcHPoyjJkt7WqvzfCMCQlh6kL2KtCGe3N6RC/A=";1213 inherit version;1313- defaultVersion = with versions; switch coq.coq-version [1414+ defaultVersion = with lib.versions; lib.switch coq.coq-version [1415 { case = isEq "8.16"; out = "8.16.0"; }1516 { case = isEq "8.15"; out = "8.15.0"; }1617 { case = isEq "8.14"; out = "8.14.0"; }···2122 nativeBuildInputs = (with coq.ocamlPackages; [ ocamlbuild ]);2223 enableParallelBuilding = false;23242424- meta = {2525+ meta = with lib; {2526 description = "A reflexive SAT solver parameterised by a leaf tactic and Nelson-Oppen support";2627 maintainers = with maintainers; [ siraben ];2728 license = licenses.gpl3Plus;
+3-3
pkgs/development/coq-modules/ltac2/default.nix
···11{ lib, mkCoqDerivation, which, coq, version ? null }:2233-with lib; mkCoqDerivation {33+mkCoqDerivation {44 pname = "ltac2";55 owner = "coq";66 inherit version;77- defaultVersion = with versions; switch coq.coq-version [77+ defaultVersion = with lib.versions; lib.switch coq.coq-version [88 { case = "8.10"; out = "0.3"; }99 { case = "8.9"; out = "0.2"; }1010 { case = "8.8"; out = "0.1"; }···19192020 mlPlugin = true;21212222- meta = {2222+ meta = with lib; {2323 description = "A robust and expressive tactic language for Coq";2424 maintainers = [ maintainers.vbgl ];2525 license = licenses.lgpl21;
···11{ lib, mkCoqDerivation, coq, version ? null }:22-with lib;3243mkCoqDerivation rec {54 pname = "semantics";···1415 release."8.6.0".sha256 = "sha256-GltkGQ3tJqUPAbdDkqqvKLLhMOap50XvGaCkjshiNdY=";15161617 inherit version;1717- defaultVersion = with versions; switch coq.coq-version [1818+ defaultVersion = with lib.versions; lib.switch coq.coq-version [1819 { case = range "8.10" "8.16"; out = "8.14.0"; }1920 { case = "8.9"; out = "8.9.0"; }2021 { case = "8.8"; out = "8.8.0"; }···3334 done3435 '';35363636- meta = {3737+ meta = with lib; {3738 description = "A survey of programming language semantics styles in Coq";3839 longDescription = ''3940 A survey of semantics styles in Coq, from natural semantics through
+1-1
pkgs/development/coq-modules/serapi/default.nix
···1717 inherit version release;18181919 defaultVersion = with versions;2020- switch coq.version [2020+ lib.switch coq.version [2121 { case = isEq "8.16"; out = "8.16.0+0.16.0"; }2222 { case = isEq "8.15"; out = "8.15.0+0.15.0"; }2323 { case = isEq "8.14"; out = "8.14.0+0.14.0"; }
···11{ lib, callPackage, mkCoqDerivation, coq, coq-ext-lib, version ? null }:2233-with lib; mkCoqDerivation {33+mkCoqDerivation {44 pname = "simple-io";55 owner = "Lysxia";66 repo = "coq-simple-io";77 inherit version;88- defaultVersion = with versions; switch coq.coq-version [88+ defaultVersion = with lib.versions; lib.switch coq.coq-version [99 { case = range "8.11" "8.16"; out = "1.7.0"; }1010 { case = range "8.7" "8.13"; out = "1.3.0"; }1111 ] null;···21212222 passthru.tests.HelloWorld = callPackage ./test.nix {};23232424- meta = {2424+ meta = with lib; {2525 description = "Purely functional IO for Coq";2626 license = licenses.mit;2727 maintainers = [ maintainers.vbgl ];
+2-3
pkgs/development/coq-modules/smpl/default.nix
···11{ lib, mkCoqDerivation, coq, version ? null }:22-with lib;3243mkCoqDerivation {54 pname = "smpl";···1213 releaseRev = v: "v${v}";13141415 inherit version;1515- defaultVersion = with versions; switch coq.version [1616+ defaultVersion = with lib.versions; lib.switch coq.version [1617 { case = isEq "8.15"; out = "8.15"; }1718 { case = isEq "8.14"; out = "8.14"; }1819 { case = "8.13.2"; out = "8.13"; }···22232324 mlPlugin = true;24252525- meta = {2626+ meta = with lib; {2627 description = "A Coq plugin providing an extensible tactic similar to first";2728 maintainers = with maintainers; [ siraben ];2829 license = licenses.mit;
+2-3
pkgs/development/coq-modules/smtcoq/default.nix
···11{ lib, stdenv, gcc10StdenvCompat, pkgs, mkCoqDerivation, coq, trakt, veriT, zchaff, fetchurl, version ? null }:22-with lib;3243let54 # version of veriT that works with SMTCoq···2223 release."2021-09-17".sha256 = "sha256-bF7ES+tXraaAJwVEwAMx3CUESpNlAUerQjr4d2eaGJQ=";23242425 inherit version;2525- defaultVersion = with versions; switch coq.version [2626+ defaultVersion = with lib.versions; lib.switch coq.version [2627 { case = isEq "8.13"; out = "2021-09-17"; }2728 ] null;2829···3334 # This is meant to ease future troubleshooting of cvc4 build failures3435 passthru = { inherit cvc4; };35363636- meta = {3737+ meta = with lib; {3738 description = "Communication between Coq and SAT/SMT solvers ";3839 maintainers = with maintainers; [ siraben ];3940 license = licenses.cecill-b;
+3-3
pkgs/development/coq-modules/stdpp/default.nix
···11{ lib, mkCoqDerivation, coq, version ? null }:2233-with lib; mkCoqDerivation rec {33+mkCoqDerivation rec {44 pname = "stdpp";55 inherit version;66 domain = "gitlab.mpi-sws.org";77 owner = "iris";88- defaultVersion = with versions; switch coq.coq-version [88+ defaultVersion = with lib.versions; lib.switch coq.coq-version [99 { case = range "8.13" "8.16"; out = "1.8.0"; }1010 { case = range "8.12" "8.14"; out = "1.6.0"; }1111 { case = range "8.11" "8.13"; out = "1.5.0"; }···2424 fi2525 '';26262727- meta = {2727+ meta = with lib; {2828 description = "An extended “Standard Library” for Coq";2929 license = licenses.bsd3;3030 maintainers = [ maintainers.vbgl ];
+4-4
pkgs/development/coq-modules/tlc/default.nix
···11{ lib, mkCoqDerivation, coq, version ? null }:2233-with lib; (mkCoqDerivation {33+(mkCoqDerivation {44 pname = "tlc";55 owner = "charguer";66 inherit version;77 displayVersion = { tlc = false; };88- defaultVersion = with versions; switch coq.coq-version [88+ defaultVersion = with lib.versions; lib.switch coq.coq-version [99 { case = range "8.13" "8.16"; out = "20211215"; }1010 { case = range "8.12" "8.13"; out = "20210316"; }1111 { case = range "8.10" "8.12"; out = "20200328"; }···1616 release."20200328".sha256 = "16vzild9gni8zhgb3qhmka47f8zagdh03k6nssif7drpim8233lx";1717 release."20181116".sha256 = "032lrbkxqm9d3fhf6nv1kq2z0mqd3czv3ijlbsjwnfh12xck4vpl";18181919- meta = {1919+ meta = with lib; {2020 homepage = "http://www.chargueraud.org/softs/tlc/";2121 description = "A non-constructive library for Coq";2222 license = licenses.free;2323 maintainers = [ maintainers.vbgl ];2424 };2525}).overrideAttrs (x:2626- if versionAtLeast x.version "20210316"2626+ if lib.versionAtLeast x.version "20210316"2727 then {}2828 else {2929 installFlags = [ "CONTRIB=$(out)/lib/coq/${coq.coq-version}/user-contrib" ];
+3-4
pkgs/development/coq-modules/topology/default.nix
···11{ lib, mkCoqDerivation, coq, mathcomp, zorns-lemma, version ? null }:22-with lib;3243mkCoqDerivation rec {54 pname = "topology";···1415 release."8.6.0".sha256 = "sha256-eu/dBEFo3y6vnXlJljUD4hds6+qgAPQVvsuspyGHcj8=";15161617 inherit version;1717- defaultVersion = with versions; switch coq.coq-version [1818+ defaultVersion = with lib.versions; lib.switch coq.coq-version [1819 { case = range "8.10" "8.16"; out = "9.0.0"; }1920 { case = "8.9"; out = "8.9.0"; }2021 { case = "8.8"; out = "8.8.0"; }···24252526 propagatedBuildInputs = [ zorns-lemma ];26272727- useDuneifVersion = versions.isGe "9.0";2828+ useDuneifVersion = lib.versions.isGe "9.0";28292929- meta = {3030+ meta = with lib; {3031 description = "General topology in Coq";3132 longDescription = ''3233 This library develops some of the basic concepts and results of
+2-3
pkgs/development/coq-modules/trakt/default.nix
···11{ lib, mkCoqDerivation, coq, coq-elpi, version ? null }:22-with lib;3243mkCoqDerivation {54 pname = "trakt";···89 release."1.0".sha256 = "sha256-Qhw5fWFYxUFO2kIWWz/og+4fuy9aYG27szfNk3IglhY=";9101011 inherit version;1111- defaultVersion = with versions; switch [ coq.version ] [1212+ defaultVersion = with lib.versions; lib.switch [ coq.version ] [1213 { cases = [ (range "8.13" "8.16") ]; out = "1.0"; }1314 ] null;14151516 propagatedBuildInputs = [ coq-elpi ];16171717- meta = {1818+ meta = with lib; {1819 description = "A generic goal preprocessing tool for proof automation tactics in Coq";1920 maintainers = with maintainers; [ siraben ];2021 license = licenses.cecill-b;
···11+diff --git a/bin/fiber/fiber.ml b/bin/fiber/fiber.ml22+index 188a92cc9..6087a8687 10064433+--- a/bin/fiber/fiber.ml44++++ b/bin/fiber/fiber.ml55+@@ -129,7 +129,7 @@ let worker pool =66+77+ let get_concurrency () =88+ try99+- let ic = Unix.open_process_in "getconf _NPROCESSORS_ONLN" in1010++ let ic = Unix.open_process_in "@getconf@/bin/getconf _NPROCESSORS_ONLN" in1111+ let close () = ignore (Unix.close_process_in ic) in1212+ let sc = Scanf.Scanning.from_channel ic in1313+ try
···2233rustPlatform.buildRustPackage rec {44 pname = "cocogitto";55- version = "5.2.0";55+ version = "5.3.0";6677 src = fetchFromGitHub {88 owner = "oknozor";99 repo = pname;1010 rev = version;1111- sha256 = "sha256-ZjDZMI84z8riRtidZVeCktwJUMkZU28E23MveJSD7xY=";1111+ sha256 = "sha256-BqyV4hJw7H9yN5Kj/XwhYS6hElXdKUJEUi5M/PNlPO0=";1212 };13131414- cargoSha256 = "sha256-oaWWAVTKxrshfvqE+HMQ1WeeEz8lOE7qc6RrgSjDtdU=";1414+ cargoHash = "sha256-MA3XW2tPn0qVx7ve+UqCoG4nQ7UyuvXEebrPuLKqS4g=";15151616 # Test depend on git configuration that would likly exist in a normal user enviroment1717 # and might be failing to create the test repository it works in.
···11{ lib22-, stdenv32, rustPlatform43, fetchFromGitHub55-, libiconv64}:7586rustPlatform.buildRustPackage rec {97 pname = "cargo-expand";1010- version = "1.0.37";88+ version = "1.0.38";1191210 src = fetchFromGitHub {1311 owner = "dtolnay";1412 repo = pname;1513 rev = version;1616- sha256 = "sha256-BdaOtbZ+F1cgoZRmoQM/5Rzx4OUHmqSnsApeNfWz+J8=";1414+ sha256 = "sha256-n7GDvniwkyCYiu7/qw0TQsVsTZfjcSpkF2Qo/uO60e4=";1715 };18161919- cargoHash = "sha256-2wD0QJFTW8cIv8S1JSgffBqlcPOVd151WuKlaZF+6aA=";2020-2121- buildInputs = lib.optional stdenv.isDarwin libiconv;1717+ cargoHash = "sha256-oA+8bceow7Cdao9FhkXkfFyrCpgvR4NJHddevbhUFkA=";22182319 meta = with lib; {2424- description =2525- "A utility and Cargo subcommand designed to let people expand macros in their Rust source code";2020+ description = "A utility and Cargo subcommand designed to let people expand macros in their Rust source code";2621 homepage = "https://github.com/dtolnay/cargo-expand";2222+ changelog = "https://github.com/dtolnay/cargo-expand/releases/tag/${version}";2723 license = with licenses; [ mit asl20 ];2828- maintainers = with maintainers; [ xrelkd ];2424+ maintainers = with maintainers; [ figsoda xrelkd ];2925 };3026}
···2222, nixosTests2323}:24242525-with lib;2625stdenv.mkDerivation rec {2726 pname = "cups";2828-2927 version = "2.4.2";30283129 src = fetchurl {···4648 nativeBuildInputs = [ pkg-config removeReferencesTo ];47494850 buildInputs = [ zlib libjpeg libpng libtiff libusb1 gnutls libpaper ]4949- ++ optionals stdenv.isLinux [ avahi pam dbus acl ]5050- ++ optional enableSystemd systemd5151- ++ optionals stdenv.isDarwin (with darwin; [5151+ ++ lib.optionals stdenv.isLinux [ avahi pam dbus acl ]5252+ ++ lib.optional enableSystemd systemd5353+ ++ lib.optionals stdenv.isDarwin (with darwin; [5254 configd apple_sdk.frameworks.ApplicationServices5355 ]);5456···6062 "--sysconfdir=/etc"6163 "--enable-raw-printing"6264 "--enable-threads"6363- ] ++ optionals stdenv.isLinux [6565+ ] ++ lib.optionals stdenv.isLinux [6466 "--enable-dbus"6567 "--enable-pam"6668 "--with-dbusdir=${placeholder "out"}/share/dbus-1"6767- ] ++ optional (libusb1 != null) "--enable-libusb"6868- ++ optional (gnutls != null) "--enable-ssl"6969- ++ optional (avahi != null) "--enable-avahi"7070- ++ optional (libpaper != null) "--enable-libpaper";6969+ ] ++ lib.optional (libusb1 != null) "--enable-libusb"7070+ ++ lib.optional (gnutls != null) "--enable-ssl"7171+ ++ lib.optional (avahi != null) "--enable-avahi"7272+ ++ lib.optional (libpaper != null) "--enable-libpaper";71737274 # AR has to be an absolute path7375 preConfigure = ''7474- export AR="${getBin stdenv.cc.bintools.bintools}/bin/${stdenv.cc.targetPrefix}ar"7676+ export AR="${lib.getBin stdenv.cc.bintools.bintools}/bin/${stdenv.cc.targetPrefix}ar"7577 configureFlagsArray+=(7678 # Put just lib/* and locale into $lib; this didn't work directly.7779 # lib/cups is moved back to $out in postInstall.···82848385 "--with-systemd=$out/lib/systemd/system"84868585- ${optionalString stdenv.isDarwin ''8787+ ${lib.optionalString stdenv.isDarwin ''8688 "--with-bundledir=$out"8789 ''}8890 )···128130 for f in "$out"/lib/systemd/system/*; do129131 substituteInPlace "$f" --replace "$lib/$libexec" "$out/$libexec"130132 done131131- '' + optionalString stdenv.isLinux ''133133+ '' + lib.optionalString stdenv.isLinux ''132134 # Use xdg-open when on Linux133135 substituteInPlace "$out"/share/applications/cups.desktop \134136 --replace "Exec=htmlview" "Exec=xdg-open"···136138137139 passthru.tests.nixos = nixosTests.printing;138140139139- meta = {141141+ meta = with lib; {140142 homepage = "https://openprinting.github.io/cups/";141143 description = "A standards-based printing system for UNIX";142144 license = licenses.asl20;
+2-1
pkgs/misc/dxvk/default.nix
···7788stdenvNoCC.mkDerivation (finalAttrs:99 let1010- inherit (stdenvNoCC.hostPlatform.uname) system;1010+ system = lib.toLower stdenvNoCC.targetPlatform.uname.system;1111+1112 # DXVK needs to be a separate derivation because it’s actually a set of DLLs for Windows that1213 # needs to be built with a cross-compiler.1314 dxvk32 = pkgsCross.mingw32.callPackage ./dxvk.nix {
+3-3
pkgs/misc/fastly/default.nix
···8899buildGoModule rec {1010 pname = "fastly";1111- version = "4.6.2";1111+ version = "5.0.0";12121313 src = fetchFromGitHub {1414 owner = "fastly";1515 repo = "cli";1616 rev = "refs/tags/v${version}";1717- hash = "sha256-E91Vg/dPJQwBZar7Wo5IeMlFoI/jwz7ALtv67DW1Rsk=";1717+ hash = "sha256-rbb+OtzOZbTYJt4IH1QXKdQ9JevGLEvhcC+F7rW337k=";1818 # The git commit is part of the `fastly version` original output;1919 # leave that output the same in nixpkgs. Use the `.git` directory2020 # to retrieve the commit SHA, and remove the directory afterwards,···3131 "cmd/fastly"3232 ];33333434- vendorHash = "sha256-Gyc0c3RntrWFEqk+AixvXSRRqjr7SEYGeqIJ/ysoFgs=";3434+ vendorHash = "sha256-TxF0H1kZSn9VFrR8z5JJwWXCG6Gl8QH88qwQidGY7oc=";35353636 nativeBuildInputs = [3737 installShellFiles
···3232let33333434 pname = "hylafaxplus";3535- version = "7.0.6";3636- hash = "sha512-0faeEwF/XQE/85zwUMOnrGzvGanuWRDr53SnrgbX0i/SHjHelzSEd2TK6plVOfV4w8RY7Ox7lSO1gjqEEzfZyw==";3535+ version = "7.0.7";3636+ hash = "sha512-nUvt+M0HBYN+MsGskuuDt1j0nI5Dk8MbfK/OVxP2FCDby3eiDg0eDtcpIxlOe4o0klko07zDRIb06zqh8ABuKA==";37373838 configSite = substituteAll {3939 name = "${pname}-config.site";···7272 patches = [7373 # adjust configure check to work with libtiff > 4.17474 ./libtiff-4.patch7575- # fix missing exports in libtiff 4.5+7676- # https://gitlab.com/libtiff/libtiff/-/issues/5047777- # can probably be dropped with next hylafaxplus release7878- (fetchurl {7979- name = "hylafaxplus-7.0.6-tiff-4.5.0.patch";8080- url = "https://dev.gentoo.org/~sam/distfiles/net-misc/hylafaxplus/hylafaxplus-7.0.6-tiff-4.5.0.patch.xz";8181- downloadToTemp = true;8282- postFetch = ''xz -d < $downloadedFile > $out'';8383- hash = "sha256-koZvvzlgZHcANVaYdewnuLARz2TTeyDZRjm0EYWzsmk=";8484- })8575 ];8676 # Note that `configure` (and maybe `faxsetup`) are looking8777 # for a couple of standard binaries in the `PATH` and
···7788let version = "0.32"; in991010-with lib;1111-1210stdenv.mkDerivation {1311 pname = "bup";1412 inherit version;···2931 postPatch = ''3032 patchShebangs .3133 substituteInPlace Makefile --replace "-Werror" ""3232- '' + optionalString par2Support ''3434+ '' + lib.optionalString par2Support ''3335 substituteInPlace cmd/fsck-cmd.py --replace "'par2'" "'${par2cmdline}/bin/par2'"3436 '';3537···4749 --prefix PATH : ${git}/bin4850 '';49515050- meta = {5252+ meta = with lib; {5153 homepage = "https://github.com/bup/bup";5254 description = "Efficient file backup system based on the git packfile format";5355 license = licenses.gpl2Plus;
+1-2
pkgs/tools/backup/luckybackup/default.nix
···33, rsync, ssh44}:5566-with lib;76mkDerivation rec {87 pname = "luckybackup";98 version = "0.5.0";···2526 done2627 '';27282828- meta = {2929+ meta = with lib; {2930 description = "A powerful, fast and reliable backup & sync tool";3031 longDescription = ''3132 luckyBackup is an application for data back-up and synchronization
+3-5
pkgs/tools/bluetooth/bluez-alsa/default.nix
···99# TODO: aptxSupport1010}:11111212-with lib;1313-1412stdenv.mkDerivation rec {1513 pname = "bluez-alsa";1614 version = "4.0.0";···2628 alsa-lib bluez glib sbc dbus2729 readline libbsd ncurses2830 ]2929- ++ optional aacSupport fdk_aac;3131+ ++ lib.optional aacSupport fdk_aac;30323133 configureFlags = [3234 "--with-alsaplugindir=${placeholder "out"}/lib/alsa-lib"···3436 "--enable-rfcomm"3537 "--enable-hcitop"3638 ]3737- ++ optional aacSupport "--enable-aac";3939+ ++ lib.optional aacSupport "--enable-aac";38403939- meta = {4141+ meta = with lib; {4042 description = "Bluez 5 Bluetooth Audio ALSA Backend";4143 longDescription = ''4244 Bluez-ALSA (BlueALSA) is an ALSA backend for Bluez 5 audio interface.
···11{ lib, stdenv, fetchFromGitHub, pkgs, pandoc, CoreServices }:2233-with lib;44-53let64 # Note for maintainers:75 # * keep version in sync with the ldgallery compiler···1921 nodePkg = nodePackages.package.override {2022 src = "${sourcePkg}/viewer";2123 postInstall = "npm run build";2222- buildInputs = optionals stdenv.isDarwin [ CoreServices ];2424+ buildInputs = lib.optionals stdenv.isDarwin [ CoreServices ];2325 };24262527in26282729# making sure that the source and the node package are in sync2828-assert versions.majorMinor nodePkg.version == removePrefix "v" sourcePkg.rev;3030+assert lib.versions.majorMinor nodePkg.version == lib.removePrefix "v" sourcePkg.rev;29313032stdenv.mkDerivation {3133 pname = nodePkg.packageName;
+1-3
pkgs/tools/graphics/optipng/default.nix
···4455# This package comes with its own copy of zlib, libpng and pngxtern6677-with lib;88-97stdenv.mkDerivation rec {108 pname = "optipng";119 version = "0.7.7";···15171618 buildInputs = [ libpng ];17191818- LDFLAGS = optional static "-static";2020+ LDFLAGS = lib.optional static "-static";1921 # Workaround for crash in cexcept.h. See2022 # https://github.com/NixOS/nixpkgs/issues/281062123 preConfigure = ''
···11{ lib, stdenv, fetchFromGitHub }:2233-with lib;44-53stdenv.mkDerivation rec {64 pname = "pixd";75 version = "1.0.0";···13151416 makeFlags = [ "PREFIX=$(out)" ];15171616- meta = {1818+ meta = with lib; {1719 description = "Colourful visualization tool for binary files";1820 homepage = "https://github.com/FireyFly/pixd";1921 maintainers = [ maintainers.FireyFly ];
+1-2
pkgs/tools/misc/rmlint/default.nix
···20202121assert withGui -> !stdenv.isDarwin;22222323-with lib;2423stdenv.mkDerivation rec {2524 pname = "rmlint";2625 version = "2.10.1";···7778 gappsWrapperArgs+=(--prefix PYTHONPATH : "$(toPythonPath $out):$(toPythonPath ${python3.pkgs.pygobject3}):$(toPythonPath ${python3.pkgs.pycairo})")7879 '';79808080- meta = {8181+ meta = with lib; {8182 description = "Extremely fast tool to remove duplicates and other lint from your filesystem";8283 homepage = "https://rmlint.readthedocs.org";8384 platforms = platforms.unix;
+24
pkgs/tools/misc/setconf/default.nix
···11+{ lib22+, buildPythonApplication33+, fetchFromGitHub44+}:55+66+buildPythonApplication rec {77+ pname = "setconf";88+ version = "0.7.7";99+ format = "setuptools";1010+1111+ src = fetchFromGitHub {1212+ owner = "xyproto";1313+ repo = "setconf";1414+ rev = version;1515+ hash = "sha256-HYZdDtDlGrT3zssDdMW3559hhC+cPy8qkmM8d9zEa1A=";1616+ };1717+1818+ meta = {1919+ homepage = "https://github.com/xyproto/setconf";2020+ description = "A small utility for changing settings in configuration textfiles";2121+ changelog = "https://github.com/xyproto/setconf/releases/tag/${version}";2222+ maintainers = [ lib.maintainers.AndersonTorres ];2323+ };2424+}
···11{ lib, buildGoModule, fetchFromGitHub, nixosTests }:2233-with lib;44-53buildGoModule rec {64 pname = "flannel";75 version = "0.20.2";···21232224 passthru.tests = { inherit (nixosTests) flannel; };23252424- meta = {2626+ meta = with lib; {2527 description = "Network fabric for containers, designed for Kubernetes";2628 license = licenses.asl20;2729 homepage = "https://github.com/flannel-io/flannel";
+1-1
pkgs/tools/networking/imapsync/default.nix
···6565 meta = with lib; {6666 description = "Mail folder synchronizer between IMAP servers";6767 homepage = "https://imapsync.lamiral.info/";6868- license = licenses.wtfpl;6868+ license = licenses.nlpl;6969 maintainers = with maintainers; [ pSub ];7070 platforms = platforms.unix;7171 };
-2
pkgs/tools/networking/logmein-hamachi/default.nix
···11{ lib, stdenv, fetchurl }:2233-with lib;44-53let64 arch =75 if stdenv.hostPlatform.system == "x86_64-linux" then "x64"
-5
pkgs/tools/networking/nbd/default.nix
···2525 test = nixosTests.nbd;2626 };27272828- # Glib calls `clock_gettime', which is in librt. Linking that library2929- # here ensures that a proper rpath is added to the executable so that3030- # it can be loaded at run-time.3131- NIX_LDFLAGS = lib.optionalString stdenv.isLinux "-lrt -lpthread";3232-3328 meta = {3429 homepage = "https://nbd.sourceforge.io/";3530 description = "Map arbitrary files as block devices over the network";
+2-4
pkgs/tools/networking/ndjbdns/default.nix
···11{ lib, stdenv, fetchFromGitHub, autoreconfHook, systemd, pkg-config }:2233-with lib;44-53stdenv.mkDerivation {64 version = "1.06";75 pname = "ndjbdns";···13151416 nativeBuildInputs = [ autoreconfHook pkg-config ];1517 buildInputs = [ ]1616- ++ optional stdenv.isLinux systemd;1818+ ++ lib.optional stdenv.isLinux systemd;17191818- meta = {2020+ meta = with lib; {1921 description = "A brand new release of the Djbdns";2022 longDescription = ''2123 Djbdns is a fully‐fledged Domain Name System(DNS), originally written by the eminent author of qmail, Dr. D J Bernstein.
···11{ lib, stdenv, fetchurl }:2233-with lib;44-53let versions = lib.importJSON ./versions.json;64 arch = if stdenv.isi686 then "386"75 else if stdenv.isx86_64 then "amd64"···3537 # Stripping causes SEGFAULT on x86_64-darwin3638 dontStrip = true;37393838- meta = {4040+ meta = with lib; {3941 description = "Allows you to expose a web server running on your local machine to the internet";4042 homepage = "https://ngrok.com/";4141- sourceProvenance = with lib.sourceTypes; [ binaryNativeCode ];4343+ sourceProvenance = with sourceTypes; [ binaryNativeCode ];4244 license = licenses.unfree;4345 platforms = [ "i686-linux" "x86_64-linux" "aarch64-linux" "x86_64-darwin" "aarch64-darwin" ];4446 maintainers = with maintainers; [ bobvanderlinden brodes ];
+12-13
pkgs/tools/networking/openssh/common.nix
···3030, linkOpenssl ? true3131}:32323333-with lib;3433stdenv.mkDerivation rec {3534 inherit pname version src;3635···5657 # This is not the same as the libkrb5 from the inputs! pkgs.libkrb5 is5758 # needed here to access krb5-config in order to cross compile. See:5859 # https://github.com/NixOS/nixpkgs/pull/1076065959- ++ optional withKerberos pkgs.libkrb56060+ ++ lib.optional withKerberos pkgs.libkrb56061 ++ extraNativeBuildInputs;6162 buildInputs = [ zlib openssl libedit ]6262- ++ optional withFIDO libfido26363- ++ optional withKerberos libkrb56464- ++ optional stdenv.isLinux pam;6363+ ++ lib.optional withFIDO libfido26464+ ++ lib.optional withKerberos libkrb56565+ ++ lib.optional stdenv.isLinux pam;65666667 preConfigure = ''6768 # Setting LD causes `configure' and `make' to disagree about which linker···7980 "--with-libedit=yes"8081 "--disable-strip"8182 (if stdenv.isLinux then "--with-pam" else "--without-pam")8282- ] ++ optional (etcDir != null) "--sysconfdir=${etcDir}"8383- ++ optional withFIDO "--with-security-key-builtin=yes"8484- ++ optional withKerberos (assert libkrb5 != null; "--with-kerberos5=${libkrb5}")8585- ++ optional stdenv.isDarwin "--disable-libutil"8686- ++ optional (!linkOpenssl) "--without-openssl"8383+ ] ++ lib.optional (etcDir != null) "--sysconfdir=${etcDir}"8484+ ++ lib.optional withFIDO "--with-security-key-builtin=yes"8585+ ++ lib.optional withKerberos (assert libkrb5 != null; "--with-kerberos5=${libkrb5}")8686+ ++ lib.optional stdenv.isDarwin "--disable-libutil"8787+ ++ lib.optional (!linkOpenssl) "--without-openssl"8788 ++ extraConfigureFlags;88898990 ${if stdenv.hostPlatform.isStatic then "NIX_LDFLAGS" else null}= [ "-laudit" ] ++ lib.optionals withKerberos [ "-lkeyutils" ];···96979798 doCheck = true;9899 enableParallelChecking = false;9999- nativeCheckInputs = optional (!stdenv.isDarwin) hostname;100100+ nativeCheckInputs = lib.optional (!stdenv.isDarwin) hostname;100101 preCheck = lib.optionalString (stdenv.hostPlatform == stdenv.buildPlatform) ''101102 # construct a dummy HOME102103 export HOME=$(realpath ../dummy-home)···144145 # integration tests hard to get working on darwin with its shaky145146 # sandbox146147 # t-exec tests fail on musl147147- checkTarget = optional (!stdenv.isDarwin && !stdenv.hostPlatform.isMusl) "t-exec"148148+ checkTarget = lib.optional (!stdenv.isDarwin && !stdenv.hostPlatform.isMusl) "t-exec"148149 # other tests are less demanding of the environment149150 ++ [ "unit" "file-tests" "interop-tests" ];150151···164165 borgbackup-integration = nixosTests.borgbackup;165166 };166167167167- meta = {168168+ meta = with lib; {168169 description = "An implementation of the SSH protocol${extraDesc}";169170 homepage = "https://www.openssh.com/";170171 changelog = "https://www.openssh.com/releasenotes.html";
+1-3
pkgs/tools/networking/snabb/default.nix
···33, fetchFromGitHub44}:5566-with lib;77-86stdenv.mkDerivation rec {97 pname = "snabb";108 version = "2022.10";···1921 cp src/snabb $out/bin2022 '';21232222- meta = {2424+ meta = with lib; {2325 homepage = "https://github.com/SnabbCo/snabbswitch";2426 description = "Simple and fast packet networking toolkit";2527 longDescription = ''