git.iko.soy/typeable/nixpkgs
on master help sign in
isabelle: 2020 -> 2021
commit9111bd40b2411bc9cfdf6a7ab981e83005788837 authorJan van Brügge <supermanitu@gmail.com> dateSun 18 Jul 2021, 23:49 (5 years ago) parenta2497d2
3 files changed+13−3
compare with master
unifiedsplit
nixos/doc/manual/from_md/release-notes/rl-2111.section.xml+6 nixos/doc/manual/release-notes/rl-2111.section.md+2 pkgs/applications/science/logic/isabelle/default.nix+5−3
nixos/doc/manual/from_md/release-notes/rl-2111.section.xml+6
@@ -510,6 +510,12 @@
510510 changelog</link>.
511511 </para>
512512 </listitem>
513+ <listitem>
514+ <para>
515+ The <literal>isabelle</literal> package has been upgraded from
516+ 2020 to 2021
517+ </para>
518+ </listitem>
513519 </itemizedlist>
514520 </section>
515521 <section xml:id="sec-release-21.11-notable-changes">
nixos/doc/manual/release-notes/rl-2111.section.md+2
@@ -128,6 +128,8 @@ In addition to numerous new and upgraded packages, this release has the followin
128128
129129- `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).
130130
131+- The `isabelle` package has been upgraded from 2020 to 2021
132+
131133## Other Notable Changes {#sec-release-21.11-notable-changes}
132134
133135- 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.
pkgs/applications/science/logic/isabelle/default.nix+5−3
@@ -3,18 +3,18 @@
33
44stdenv.mkDerivation rec {
55 pname = "isabelle";
6− version = "2020";
6+ version = "2021";
77
88 dirname = "Isabelle${version}";
99
1010 src = if stdenv.isDarwin
1111 then fetchurl {
1212 url = "https://isabelle.in.tum.de/website-${dirname}/dist/${dirname}_macos.tar.gz";
13− sha256 = "1sfr5filsaqj93g5y4p9n8g5652dhr4whj25x4lifdxr2pp560xx";
13+ sha256 = "1c2qm2ksmpyxyccyyn4lyj2wqj5m74nz2i0c5abrd1hj45zcnh1m";
1414 }
1515 else fetchurl {
1616 url = "https://isabelle.in.tum.de/website-${dirname}/dist/${dirname}_linux.tar.gz";
17− sha256 = "1bibabhlsvf6qsjjkgxcpq3cvl1z7r8yfcgqbhbvsiv69n3gyfk3";
17+ sha256 = "1isgc9w4q95638dcag9gxz1kmf97pkin3jz1dm2lhd64b2k12y2x";
1818 };
1919
2020 nativeBuildInputs = [ makeWrapper ];
@@ -48,6 +48,8 @@ stdenv.mkDerivation rec {
4848 ISABELLE_JDK_HOME=${java}
4949 EOF
5050
51+ sed -i -e 's/naproche_server : bool = true/naproche_server : bool = false/' contrib/naproche-*/etc/options
52+
5153 echo ISABELLE_LINE_EDITOR=${rlwrap}/bin/rlwrap >>etc/settings
5254
5355 for comp in contrib/jdk* contrib/polyml-* contrib/z3-*; do