mirror of
https://codeberg.org/leana8959/.files.git
synced 2025-12-06 06:39:14 +00:00
7 lines
153 B
Nix
7 lines
153 B
Nix
let
|
|
sources = import ../../../sources.nix;
|
|
in
|
|
_: _: {
|
|
# Isabelle version 2023
|
|
isabelle-2023 = (import sources.pin-isabelle {}).isabelle;
|
|
}
|