mirror of
https://codeberg.org/leana8959/.files.git
synced 2025-12-06 06:39:14 +00:00
nix: rewrite overlays with niv
This commit is contained in:
parent
0f65c11a1c
commit
fe05b5ba5a
2 changed files with 49 additions and 39 deletions
|
|
@ -5,37 +5,14 @@
|
|||
}:
|
||||
lib.composeManyExtensions [
|
||||
(final: _: {
|
||||
inherit
|
||||
(import (final.fetchFromGitHub {
|
||||
owner = "nixos";
|
||||
repo = "nixpkgs";
|
||||
rev = "805a384895c696f802a9bf5bf4720f37385df547";
|
||||
hash = "sha256-F/TKWETwB5RaR8owkPPi+SPJh83AQsm6KrQAlJ8v/uA=";
|
||||
}) {inherit (final) system;})
|
||||
isabelle # version 2023
|
||||
;
|
||||
# Isabelle version 2023
|
||||
inherit (import sources.isabelle-pin {}) isabelle;
|
||||
|
||||
inherit
|
||||
(import (final.fetchFromGitHub {
|
||||
owner = "nixos";
|
||||
repo = "nixpkgs";
|
||||
rev = "9d3ae807ebd2981d593cddd0080856873139aa40";
|
||||
hash = "sha256-NGqpVVxNAHwIicXpgaVqJEJWeyqzoQJ9oc8lnK9+WC4=";
|
||||
}) {inherit (final) system;})
|
||||
# Wireshark bug
|
||||
# https://gitlab.com/wireshark/wireshark/-/issues/19574
|
||||
wireshark
|
||||
;
|
||||
# Wireshark bug
|
||||
# https://gitlab.com/wireshark/wireshark/-/issues/19574
|
||||
inherit (import sources.wireshark-pin {}) wireshark;
|
||||
|
||||
inherit
|
||||
(import (final.fetchFromGitHub {
|
||||
owner = "nixos";
|
||||
repo = "nixpkgs";
|
||||
rev = "0d60d4e9e051a1fe005cfade15cc547d7bcf35c7";
|
||||
hash = "sha256-8LAkSNzigLVqiwA0l36nP245vmr5MUw42YoIPBCeA+E=";
|
||||
}) {inherit (final) system;})
|
||||
digikam
|
||||
;
|
||||
inherit (import sources.digikam-pin {}) digikam;
|
||||
|
||||
wallpapers = final.callPackage sources.wallpapers {};
|
||||
|
||||
|
|
@ -46,10 +23,7 @@ lib.composeManyExtensions [
|
|||
# boomer
|
||||
# ;
|
||||
|
||||
inherit
|
||||
(final.callPackage sources.agenix {})
|
||||
agenix
|
||||
;
|
||||
inherit (final.callPackage sources.agenix {}) agenix;
|
||||
|
||||
disko =
|
||||
final.callPackage (sources.disko + "/package.nix")
|
||||
|
|
|
|||
Loading…
Add table
Add a link
Reference in a new issue