···132 </listitem>133 <listitem>134 <para>000000000135 <literal>protonup</literal> has been aliased to and replaced136 by <literal>protonup-ng</literal> due to upstream not137 maintaining it.
···132 </listitem>133 <listitem>134 <para>135+ PHP is now built <literal>NTS</literal> (Non-Thread Safe)136+ style by default, for Apache and <literal>mod_php</literal>137+ usage we still enable <literal>ZTS</literal> (Zend Thread138+ Safe). This has been a common practice for a long time in139+ other distributions.140+ </para>141+ </listitem>142+ <listitem>143+ <para>144 <literal>protonup</literal> has been aliased to and replaced145 by <literal>protonup-ng</literal> due to upstream not146 maintaining it.
+4
nixos/doc/manual/release-notes/rl-2211.section.md
···5354- PHP now defaults to PHP 8.1, updated from 8.0.55000056- `protonup` has been aliased to and replaced by `protonup-ng` due to upstream not maintaining it.5758- Perl has been updated to 5.36, and its core module `HTTP::Tiny` was patched to verify SSL/TLS certificates by default.
···5354- PHP now defaults to PHP 8.1, updated from 8.0.5556+- PHP is now built `NTS` (Non-Thread Safe) style by default, for Apache and57+ `mod_php` usage we still enable `ZTS` (Zend Thread Safe). This has been a58+ common practice for a long time in other distributions.59+60- `protonup` has been aliased to and replaced by `protonup-ng` due to upstream not maintaining it.6162- Perl has been updated to 5.36, and its core module `HTTP::Tiny` was patched to verify SSL/TLS certificates by default.
···23stdenv.mkDerivation rec {4 pname = "lean";5- version = "3.48.0";67 src = fetchFromGitHub {8 owner = "leanprover-community";···11 # from. this is then used to check whether an olean file should be12 # rebuilt. don't use a tag as rev because this will get replaced into13 # src/githash.h.in in preConfigure.14- rev = "283f6ed8083ab4dd7c36300f31816c5cb793f2f7";15- sha256 = "sha256-0Ogv/24KNp1ZBDqiYTsGv5vDKD4fJBtoX7LWLu4QZe0=";16 };1718 nativeBuildInputs = [ cmake ];
···23stdenv.mkDerivation rec {4 pname = "lean";5+ version = "3.49.0";67 src = fetchFromGitHub {8 owner = "leanprover-community";···11 # from. this is then used to check whether an olean file should be12 # rebuilt. don't use a tag as rev because this will get replaced into13 # src/githash.h.in in preConfigure.14+ rev = "acf633e01a8783a12060b0a1b7b5b5e15fd73e77";15+ sha256 = "sha256-KF13DlGEl6aICSp/haczo54gjLZaOxyzFRdzvyyiu5M=";16 };1718 nativeBuildInputs = [ cmake ];
···7let8 # make install will use dconf to find desktop background file uri.9 # consider adding an args to allow specify pictures manually.10- # https://github.com/daniruiz/flat-remix-gnome/blob/20220510/Makefile#L3811 fake-dconf = writeScriptBin "dconf" "echo -n";12in13stdenv.mkDerivation rec {14 pname = "flat-remix-gnome";15- version = "20220622";1617 src = fetchFromGitHub {18 owner = "daniruiz";19 repo = pname;20 rev = version;21- hash = "sha256-fm1YOKI6TLkCnkkPZkp8I0xWkNrZt4sVktYZyD5foKU=";22 };2324 nativeBuildInputs = [ glib fake-dconf ];25 makeFlags = [ "PREFIX=$(out)" ];2627 # make install will back up this file, it will fail if the file doesn't exist.28- # https://github.com/daniruiz/flat-remix-gnome/blob/20220510/Makefile#L5629 preInstall = ''30 mkdir -p $out/share/gnome-shell/31 touch $out/share/gnome-shell/gnome-shell-theme.gresource
···7let8 # make install will use dconf to find desktop background file uri.9 # consider adding an args to allow specify pictures manually.10+ # https://github.com/daniruiz/flat-remix-gnome/blob/20221107/Makefile#L3811 fake-dconf = writeScriptBin "dconf" "echo -n";12in13stdenv.mkDerivation rec {14 pname = "flat-remix-gnome";15+ version = "20221107";1617 src = fetchFromGitHub {18 owner = "daniruiz";19 repo = pname;20 rev = version;21+ hash = "sha256-5V3ECbQe3/5bhHnMR1pzvehs1eh0u9U7E1voDiqo9cY=";22 };2324 nativeBuildInputs = [ glib fake-dconf ];25 makeFlags = [ "PREFIX=$(out)" ];2627 # make install will back up this file, it will fail if the file doesn't exist.28+ # https://github.com/daniruiz/flat-remix-gnome/blob/20221107/Makefile#L5629 preInstall = ''30 mkdir -p $out/share/gnome-shell/31 touch $out/share/gnome-shell/gnome-shell-theme.gresource
+2
pkgs/development/coq-modules/interval/default.nix
···7 domain = "gitlab.inria.fr";8 inherit version;9 defaultVersion = with lib.versions; lib.switch coq.coq-version [010 { case = range "8.8" "8.16"; out = "4.5.2"; }11 { case = range "8.8" "8.12"; out = "4.0.0"; }12 { case = range "8.7" "8.11"; out = "3.4.2"; }13 { case = range "8.5" "8.6"; out = "3.3.0"; }14 ] null;015 release."4.5.2".sha256 = "sha256-r0yE9pkC4EYlqsimxkdlCXevRcwKa3HGFZiUH+ueUY8=";16 release."4.5.1".sha256 = "sha256-5OxbSPdw/1FFENubulKSk6fEIEYSPCxfvMMgtgN6j6s=";17 release."4.3.0".sha256 = "sha256-k8DLC4HYYpHeEEgXUafS8jkaECqlM+/CoYaInmUTYko=";
···7 domain = "gitlab.inria.fr";8 inherit version;9 defaultVersion = with lib.versions; lib.switch coq.coq-version [10+ { case = range "8.12" "8.16"; out = "4.6.0"; }11 { case = range "8.8" "8.16"; out = "4.5.2"; }12 { case = range "8.8" "8.12"; out = "4.0.0"; }13 { case = range "8.7" "8.11"; out = "3.4.2"; }14 { case = range "8.5" "8.6"; out = "3.3.0"; }15 ] null;16+ release."4.6.0".sha256 = "sha256-n9ECKnV0L6XYcIcbYyOJKwlbisz/RRbNW5YESHo07X0=";17 release."4.5.2".sha256 = "sha256-r0yE9pkC4EYlqsimxkdlCXevRcwKa3HGFZiUH+ueUY8=";18 release."4.5.1".sha256 = "sha256-5OxbSPdw/1FFENubulKSk6fEIEYSPCxfvMMgtgN6j6s=";19 release."4.3.0".sha256 = "sha256-k8DLC4HYYpHeEEgXUafS8jkaECqlM+/CoYaInmUTYko=";
···133 in stdenv.mkDerivation (rec {134 inherit pname version nativeLibs javaLibs lispLibs lisp systems asds;135136- src = if builtins.length patches > 0137- then apply-patches args138- else args.src;139-140 # When src is null, we are building a lispWithPackages and only141 # want to make use of the dependency environment variables142 # generated by build-asdf-system···197 #198 # NOTE: It's important to read files from `src` instead of199 # from pwd to get go-to-definition working with SLIME200- export CL_SOURCE_REGISTRY=$CL_SOURCE_REGISTRY:${src}//201202 # Similiarily for native deps203 export LD_LIBRARY_PATH=${makeLibraryPath nativeLibs}:$LD_LIBRARY_PATH···205206 # Make asdf compile from `src` to pwd and load `lispLibs`207 # from storeDir. Otherwise it could try to recompile lisp deps.208- export ASDF_OUTPUT_TRANSLATIONS="${src}:$(pwd):${storeDir}:${storeDir}"209210 # track lisp dependencies for graph generation211 # TODO: Do the propagation like for lisp, native and java like this:···244 dontStrip = true;245 dontFixup = true;246247- } // args));248-249- # Need to do that because we always want to compile straight from250- # `src` for go-to-definition to work in SLIME.251- apply-patches = { patches, src, ... }:252- stdenv.mkDerivation {253- inherit patches src;254- pname = "source";255- version = "patched";256- dontConfigure = true;257- dontBuild = true;258- dontStrip = true;259- dontFixup = true;260- installPhase = ''261- mkdir -pv $out262- cp -r * $out263- '';264- };265266 # Build the set of lisp packages using `lisp`267 # These packages are defined manually for one reason or another:
···133 in stdenv.mkDerivation (rec {134 inherit pname version nativeLibs javaLibs lispLibs lisp systems asds;1350000136 # When src is null, we are building a lispWithPackages and only137 # want to make use of the dependency environment variables138 # generated by build-asdf-system···201 #202 # NOTE: It's important to read files from `src` instead of203 # from pwd to get go-to-definition working with SLIME204+ export CL_SOURCE_REGISTRY=$CL_SOURCE_REGISTRY:$src//205206 # Similiarily for native deps207 export LD_LIBRARY_PATH=${makeLibraryPath nativeLibs}:$LD_LIBRARY_PATH···209210 # Make asdf compile from `src` to pwd and load `lispLibs`211 # from storeDir. Otherwise it could try to recompile lisp deps.212+ export ASDF_OUTPUT_TRANSLATIONS="$src:$(pwd):${storeDir}:${storeDir}"213214 # track lisp dependencies for graph generation215 # TODO: Do the propagation like for lisp, native and java like this:···248 dontStrip = true;249 dontFixup = true;250251+ } // (args // {252+ src = if builtins.length (args.patches or []) > 0253+ then pkgs.applyPatches { inherit (args) src patches; }254+ else args.src;255+ patches = [];256+ })));000000000000257258 # Build the set of lisp packages using `lisp`259 # These packages are defined manually for one reason or another:
···36 '';3738 meta = with lib; {039 description = "Tool to check syntax of PHP files faster than serial check with fancier output";40 license = licenses.bsd2;41 homepage = "https://github.com/php-parallel-lint/PHP-Parallel-Lint";
···36 '';3738 meta = with lib; {39+ broken = lib.versionOlder php.version "8.1"; # Broken on PHP older than 8.1.40 description = "Tool to check syntax of PHP files faster than serial check with fancier output";41 license = licenses.bsd2;42 homepage = "https://github.com/php-parallel-lint/PHP-Parallel-Lint";