···394394 </listitem>
395395 <listitem>
396396 <para>
397397+ The <literal>coq</literal> package and versioned variants
398398+ starting at <literal>coq_8_14</literal> no longer include
399399+ CoqIDE, which is now available through
400400+ <literal>coqPackages.coqide</literal>. It is still possible to
401401+ get CoqIDE as part of the <literal>coq</literal> package by
402402+ overriding the <literal>buildIde</literal> argument of the
403403+ derivation.
404404+ </para>
405405+ </listitem>
406406+ <listitem>
407407+ <para>
397408 PHP 7.4 is no longer supported due to upstream not supporting
398409 this version for the entire lifecycle of the 22.11 release.
399410 </para>
+6
nixos/doc/manual/release-notes/rl-2211.section.md
···136136- `services.hbase` has been renamed to `services.hbase-standalone`.
137137 For production HBase clusters, use `services.hadoop.hbase` instead.
138138139139+- The `coq` package and versioned variants starting at `coq_8_14` no
140140+ longer include CoqIDE, which is now available through
141141+ `coqPackages.coqide`. It is still possible to get CoqIDE as part of
142142+ the `coq` package by overriding the `buildIde` argument of the
143143+ derivation.
144144+139145- PHP 7.4 is no longer supported due to upstream not supporting this
140146 version for the entire lifecycle of the 22.11 release.
141147