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