primrose/.files
1
0
Fork 0
mirror of https://codeberg.org/leana8959/.files.git synced 2026-02-01 14:39:39 +00:00
Code Issues Projects Releases Packages Wiki Activity Actions

overlays/pin-isabelle-2023: drop

Browse source
This commit is contained in:
Primrose 2026-01-15 21:35:36 +01:00
parent a8e5776854
commit 23ec902deb
Signed by: primrose
GPG key ID: 4E887A4CA9714ADA
1 changed files with 0 additions and 7 deletions
Download patch file Download diff file Expand all files Collapse all files

7
nix/overlays/pin-isabelle-2023.nix
View file

@ -1,7 +0,0 @@
let
sources = import ../../npins;
in
_: _: {
# Isabelle version 2023
isabelle-2023 = (import sources.pin-isabelle { }).isabelle;
}