···132132 </listitem>
133133 <listitem>
134134 <para>
135135+ PHP is now built <literal>NTS</literal> (Non-Thread Safe)
136136+ style by default, for Apache and <literal>mod_php</literal>
137137+ usage we still enable <literal>ZTS</literal> (Zend Thread
138138+ Safe). This has been a common practice for a long time in
139139+ other distributions.
140140+ </para>
141141+ </listitem>
142142+ <listitem>
143143+ <para>
135144 <literal>protonup</literal> has been aliased to and replaced
136145 by <literal>protonup-ng</literal> due to upstream not
137146 maintaining it.
+4
nixos/doc/manual/release-notes/rl-2211.section.md
···53535454- PHP now defaults to PHP 8.1, updated from 8.0.
55555656+- PHP is now built `NTS` (Non-Thread Safe) style by default, for Apache and
5757+ `mod_php` usage we still enable `ZTS` (Zend Thread Safe). This has been a
5858+ common practice for a long time in other distributions.
5959+5660- `protonup` has been aliased to and replaced by `protonup-ng` due to upstream not maintaining it.
57615862- Perl has been updated to 5.36, and its core module `HTTP::Tiny` was patched to verify SSL/TLS certificates by default.
···2233stdenv.mkDerivation rec {
44 pname = "lean";
55- version = "3.48.0";
55+ version = "3.49.0";
6677 src = fetchFromGitHub {
88 owner = "leanprover-community";
···1111 # from. this is then used to check whether an olean file should be
1212 # rebuilt. don't use a tag as rev because this will get replaced into
1313 # src/githash.h.in in preConfigure.
1414- rev = "283f6ed8083ab4dd7c36300f31816c5cb793f2f7";
1515- sha256 = "sha256-0Ogv/24KNp1ZBDqiYTsGv5vDKD4fJBtoX7LWLu4QZe0=";
1414+ rev = "acf633e01a8783a12060b0a1b7b5b5e15fd73e77";
1515+ sha256 = "sha256-KF13DlGEl6aICSp/haczo54gjLZaOxyzFRdzvyyiu5M=";
1616 };
17171818 nativeBuildInputs = [ cmake ];