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