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