Stream: General

Topic: Isabelle2021 nixpkgs


view this post on Zulip Jan van Brügge (Jul 18 2021 at 22:37):

Soon (TM) Isabelle will be updated in nixpkgs: https://github.com/NixOS/nixpkgs/pull/130583
Had to disable the naproche server, as that fails on startup, but I was able to build all theories without issue

view this post on Zulip Jan van Brügge (Jul 23 2021 at 09:25):

Isabelle 2021 is now in unstable :tada:

view this post on Zulip Wolfgang Jeltsch (Sep 10 2021 at 15:56):

Does this mean it will be in stable around October?

view this post on Zulip Jan van Brügge (Sep 14 2021 at 18:50):

I think so, yes

view this post on Zulip Jan van Brügge (Dec 31 2021 at 12:16):

Created a PR for Isabelle2021-1. This also fixes the veriT solver: https://github.com/NixOS/nixpkgs/pull/152921

view this post on Zulip Jan van Brügge (Jan 30 2022 at 14:07):

I've updated the package to rebuild the heap for HOL (it was invalidated due to the changes done for nixpkgs).
PSA: If you are using the nix isabelle package and update to the newest nixos-unstable, delete $HOME/.isabelle/heaps. Otherwise isabelle will update them (by rebuilding HOL) instead of using the prebuilt heaps from the package


Last updated: Aug 15 2022 at 04:16 UTC