BoomMicrophone/nixpkgs-suyu
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity

coq: document CoqIDE split

Browse source 
Changelog for #180385.
This commit is contained in:
Théo Zimmermann 2022-09-04 14:27:29 +02:00
parent e5b52ee3e2
commit eb7d9127e0
No known key found for this signature in database
GPG key ID: F1744A0942F536C7
2 changed files with 17 additions and 0 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

11
nixos/doc/manual/from_md/release-notes/rl-2211.section.xml
View file

@ -387,6 +387,17 @@
instead.
</para>
</listitem>
<listitem>
<para>
The <literal>coq</literal> package and versioned variants
starting at <literal>coq_8_14</literal> no longer include
CoqIDE, which is now available through
<literal>coqPackages.coqide</literal>. It is still possible to
get CoqIDE as part of the <literal>coq</literal> package by
overriding the <literal>buildIde</literal> argument of the
derivation.
</para>
</listitem>
<listitem>
<para>
PHP 7.4 is no longer supported due to upstream not supporting

6
nixos/doc/manual/release-notes/rl-2211.section.md
View file

@ -134,6 +134,12 @@ Available as [services.patroni](options.html#opt-services.patroni.enable).
- `services.hbase` has been renamed to `services.hbase-standalone`.
For production HBase clusters, use `services.hadoop.hbase` instead.
- The `coq` package and versioned variants starting at `coq_8_14` no
longer include CoqIDE, which is now available through
`coqPackages.coqide`. It is still possible to get CoqIDE as part of
the `coq` package by overriding the `buildIde` argument of the
derivation.
- PHP 7.4 is no longer supported due to upstream not supporting this
version for the entire lifecycle of the 22.11 release.