diff options
author | Ben Siraphob <bensiraphob@gmail.com> | 2021-07-19 20:56:48 +0700 |
---|---|---|
committer | GitHub <noreply@github.com> | 2021-07-19 20:56:48 +0700 |
commit | d53846e29ef3d614b73ff749c0dab659d8991062 (patch) | |
tree | 5c8c8189e3c93b49209a31f4e8d22357fc781986 /nixos | |
parent | 41f1752eaaa2aedb5f92f8ba6ef547331180824e (diff) | |
parent | e32da890c9bbfadcd41bd70de00de6f14b737840 (diff) | |
download | nixpkgs-d53846e29ef3d614b73ff749c0dab659d8991062.tar nixpkgs-d53846e29ef3d614b73ff749c0dab659d8991062.tar.gz nixpkgs-d53846e29ef3d614b73ff749c0dab659d8991062.tar.bz2 nixpkgs-d53846e29ef3d614b73ff749c0dab659d8991062.tar.lz nixpkgs-d53846e29ef3d614b73ff749c0dab659d8991062.tar.xz nixpkgs-d53846e29ef3d614b73ff749c0dab659d8991062.tar.zst nixpkgs-d53846e29ef3d614b73ff749c0dab659d8991062.zip |
Merge pull request #130583 from jvanbruegge/isabelle2021
Isabelle: 2020 -> 2021
Diffstat (limited to 'nixos')
-rw-r--r-- | nixos/doc/manual/from_md/release-notes/rl-2111.section.xml | 6 | ||||
-rw-r--r-- | nixos/doc/manual/release-notes/rl-2111.section.md | 2 |
2 files changed, 8 insertions, 0 deletions
diff --git a/nixos/doc/manual/from_md/release-notes/rl-2111.section.xml b/nixos/doc/manual/from_md/release-notes/rl-2111.section.xml index 85329c11413..88d075a9a48 100644 --- a/nixos/doc/manual/from_md/release-notes/rl-2111.section.xml +++ b/nixos/doc/manual/from_md/release-notes/rl-2111.section.xml @@ -517,6 +517,12 @@ changelog</link>. </para> </listitem> + <listitem> + <para> + The <literal>isabelle</literal> package has been upgraded from + 2020 to 2021 + </para> + </listitem> </itemizedlist> </section> <section xml:id="sec-release-21.11-notable-changes"> diff --git a/nixos/doc/manual/release-notes/rl-2111.section.md b/nixos/doc/manual/release-notes/rl-2111.section.md index 4034def5f3d..f7275480ff8 100644 --- a/nixos/doc/manual/release-notes/rl-2111.section.md +++ b/nixos/doc/manual/release-notes/rl-2111.section.md @@ -130,6 +130,8 @@ In addition to numerous new and upgraded packages, this release has the followin - `icingaweb2` was upgraded to a new release which requires a manual database upgrade, see [upstream changelog](https://github.com/Icinga/icingaweb2/releases/tag/v2.9.0). +- The `isabelle` package has been upgraded from 2020 to 2021 + ## Other Notable Changes {#sec-release-21.11-notable-changes} - The setting [`services.openssh.logLevel`](options.html#opt-services.openssh.logLevel) `"VERBOSE"` `"INFO"`. This brings NixOS in line with upstream and other Linux distributions, and reduces log spam on servers due to bruteforcing botnets. |