primrose/.files
1
0
Fork 0
mirror of https://codeberg.org/leana8959/.files.git synced 2025-12-06 14:49:14 +00:00
Code Issues Projects Releases Packages Wiki Activity Actions

nix: move isabelle to overlays

Browse source
This commit is contained in:
Primrose 2024-12-13 22:32:38 +01:00
parent af937ab0fe
commit f61212a23f
Signed by: primrose
GPG key ID: 4E887A4CA9714ADA
3 changed files with 11 additions and 14 deletions
Download patch file Download diff file Expand all files Collapse all files

12
nix/overlays/default.nix
View file

@ -35,9 +35,17 @@ let
agenix = final: _: { inherit (inputs.agenix.packages.${final.system}) agenix; };
disko = final: _: { inherit (inputs.disko.packages.${final.system}) disko; };
# TODO: pin this properly
# 2023
isabelle = final: _: {
inherit (import inputs.nixpkgs-stable { inherit (final) system; }) isabelle;
inherit
(import (final.fetchFromGitHub {
owner = "nixos";
repo = "nixpkgs";
rev = "805a384895c696f802a9bf5bf4720f37385df547";
hash = "sha256-F/TKWETwB5RaR8owkPPi+SPJh83AQsm6KrQAlJ8v/uA=";
}) { inherit (final) system; })
isabelle
;
};
hoot = inputs.hoot.overlays.default;