let
  sources = import ../../npins;
in
_: _: {
  # Isabelle version 2023
  isabelle-2023 = (import sources.pin-isabelle { }).isabelle;
}