summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorstuebinm2023-10-01 17:50:52 +0200
committerstuebinm2023-10-01 17:50:52 +0200
commitacb37ceb6ad8970756b36d328efb21936d4d4cd8 (patch)
treef817718d43917a02277e06688f7a5a9e9d3bbf85
parent55d67617e0ae7f6c7bbb759d3dbff7c5257f2e98 (diff)
update inputs
Diffstat (limited to '')
-rw-r--r--flake.lock30
-rw-r--r--home/packages-minimal.nix2
-rw-r--r--home/packages.nix2
-rw-r--r--home/unstable.nix1
-rw-r--r--pkgs/overlay.nix18
5 files changed, 19 insertions, 34 deletions
diff --git a/flake.lock b/flake.lock
index ac8f199..e8beaca 100644
--- a/flake.lock
+++ b/flake.lock
@@ -173,11 +173,11 @@
]
},
"locked": {
- "lastModified": 1694465129,
- "narHash": "sha256-8BQiuobMrCfCbGM7w6Snx+OBYdtTIm0+cGVaKwQ5BFg=",
+ "lastModified": 1695108154,
+ "narHash": "sha256-gSg7UTVtls2yO9lKtP0yb66XBHT1Fx5qZSZbGMpSn2c=",
"owner": "nix-community",
"repo": "home-manager",
- "rev": "9787dffff5d315c9593d3f9fb0f9bf2097e1b57b",
+ "rev": "07682fff75d41f18327a871088d20af2710d4744",
"type": "github"
},
"original": {
@@ -220,11 +220,11 @@
},
"nixpkgs": {
"locked": {
- "lastModified": 1694937365,
- "narHash": "sha256-iHZSGrb9gVpZRR4B2ishUN/1LRKWtSHZNO37C8z1SmA=",
+ "lastModified": 1695825837,
+ "narHash": "sha256-4Ne11kNRnQsmSJCRSSNkFRSnHC4Y5gPDBIQGjjPfJiU=",
"owner": "NixOS",
"repo": "nixpkgs",
- "rev": "5d017a8822e0907fb96f7700a319f9fe2434de02",
+ "rev": "5cfafa12d57374f48bcc36fda3274ada276cf69e",
"type": "github"
},
"original": {
@@ -252,11 +252,11 @@
},
"nixpkgs-unstable": {
"locked": {
- "lastModified": 1694948089,
- "narHash": "sha256-d2B282GmQ9o8klc22/Rbbbj6r99EnELQpOQjWMyv0rU=",
+ "lastModified": 1696009558,
+ "narHash": "sha256-/1nNL8lCF0gn38XaFyu2ufpWcBFwCDZyYUxdZkM6GxU=",
"owner": "NixOS",
"repo": "nixpkgs",
- "rev": "5148520bfab61f99fd25fb9ff7bfbb50dad3c9db",
+ "rev": "c182df2e68bd97deb32c7e4765adfbbbcaf75b60",
"type": "github"
},
"original": {
@@ -315,11 +315,11 @@
]
},
"locked": {
- "lastModified": 1695003086,
- "narHash": "sha256-d1/ZKuBRpxifmUf7FaedCqhy0lyVbqj44Oc2s+P5bdA=",
+ "lastModified": 1696126582,
+ "narHash": "sha256-uo4cn/d2rHPy/fpKZKFBOaVO531zs/Doxz43imrpqZM=",
"owner": "oxalica",
"repo": "rust-overlay",
- "rev": "b87a14abea512d956f0b89d0d8a1e9b41f3e20ff",
+ "rev": "fc6fe50d9a4540a1111731baaa00f207301fdeb7",
"type": "github"
},
"original": {
@@ -385,11 +385,11 @@
]
},
"locked": {
- "lastModified": 1695057217,
- "narHash": "sha256-xA7RVYauw4vnkceUl2aIDONfwuhnUbxVavbCvNS9ed4=",
+ "lastModified": 1695284550,
+ "narHash": "sha256-z9fz/wz9qo9XePEvdduf+sBNeoI9QG8NJKl5ssA8Xl4=",
"owner": "Mic92",
"repo": "sops-nix",
- "rev": "4d284ca58ce5f48df79d99ab75b1ae3c3032b9ad",
+ "rev": "2f375ed8702b0d8ee2430885059d5e7975e38f78",
"type": "github"
},
"original": {
diff --git a/home/packages-minimal.nix b/home/packages-minimal.nix
index 17f4aa1..f24226b 100644
--- a/home/packages-minimal.nix
+++ b/home/packages-minimal.nix
@@ -14,7 +14,7 @@
# general cli utils
tree dnsutils inetutils pijul bat age libsecret gping bottom dogdns
cifs-utils jekyll fzf ripgrep fd sd bandwhich exa dive
- ripgrep python39Packages.isort shellcheck graphviz
+ ripgrep shellcheck graphviz
zip unzip acpi sfz viu glow
yt-dlp weechat hexyl bottom lm_sensors
usbutils
diff --git a/home/packages.nix b/home/packages.nix
index 4ed480e..f32c9a2 100644
--- a/home/packages.nix
+++ b/home/packages.nix
@@ -56,7 +56,7 @@ in
nixfmt niv inputs.deploy-rs.defaultPackage.${system}
haskellPackages.nix-serve-ng nix-doc nix-output-monitor
# other things
- mercurial
+ mercurial darcs
# isabelle
(isabelle.mkEnv "isabelle-env" "fish")
isabat
diff --git a/home/unstable.nix b/home/unstable.nix
index deea5b3..c8cef87 100644
--- a/home/unstable.nix
+++ b/home/unstable.nix
@@ -16,6 +16,7 @@ with import inputs.nixpkgs-unstable {inherit system; };
})
gleam
yazi
+ nixd
];
xdg.desktopEntries."Signal" = {
diff --git a/pkgs/overlay.nix b/pkgs/overlay.nix
index ebea1a0..1e357ed 100644
--- a/pkgs/overlay.nix
+++ b/pkgs/overlay.nix
@@ -103,21 +103,5 @@ in
matrix-to = self.callPackage ./matrix-to.nix {};
- lean4 = unstable.lean4.overrideAttrs (old: rec {
- version = "4.1.0-rc1";
- src = self.fetchFromGitHub {
- owner = "leanprover";
- repo = "lean4";
- rev = "v${version}";
- hash = "sha256-OQ72uweFMSkOzJ9u92enNql48ReZ+NBlnXtnanH+ZVA=";
- };
- postPatch = ''
- substituteInPlace src/CMakeLists.txt \
- --replace 'set(GIT_SHA1 "")' 'set(GIT_SHA1 "${src.rev}")'
-
- # Remove tests that fails in sandbox.
- # It expects `sourceRoot` to be a git repository.
- rm -rf src/lake/examples/git/
- '';
- });
+ inherit (unstable) lean4;
}