From f9cce4a4616802720067467c2a29d6094f51a6b0 Mon Sep 17 00:00:00 2001
From: Jake Ginesin <jakeginesin@gmail.com>
Date: Sun, 31 Aug 2025 18:23:29 -0400
Subject: [PATCH] generation 506 25.11.20250714.62e0f05

---
 flake.lock              | 71 ++++++++++++++++++++++++++++++++++++++++-
 flake.nix               |  5 +++
 home/programs/zsh/zshrc |  3 +-
 3 files changed, 77 insertions(+), 2 deletions(-)

diff --git a/flake.lock b/flake.lock
index 304e782..32f67f0 100644
--- a/flake.lock
+++ b/flake.lock
@@ -64,6 +64,24 @@
         "type": "github"
       }
     },
+    "flake-utils": {
+      "inputs": {
+        "systems": "systems_2"
+      },
+      "locked": {
+        "lastModified": 1731533236,
+        "narHash": "sha256-l0KFg5HjrsfsO/JpG+r7fRrqm12kzFHyUHqHCVpMMbI=",
+        "owner": "numtide",
+        "repo": "flake-utils",
+        "rev": "11707dc2f618dd54ca8739b309ec4fc024de578b",
+        "type": "github"
+      },
+      "original": {
+        "owner": "numtide",
+        "repo": "flake-utils",
+        "type": "github"
+      }
+    },
     "home-manager": {
       "inputs": {
         "nixpkgs": [
@@ -169,13 +187,30 @@
         "type": "github"
       }
     },
+    "nixpkgs_3": {
+      "locked": {
+        "lastModified": 1756636162,
+        "narHash": "sha256-mBecwgUTWRgClJYqcF+y4O1bY8PQHqeDpB+zsAn+/zA=",
+        "owner": "nixos",
+        "repo": "nixpkgs",
+        "rev": "37ff64b7108517f8b6ba5705ee5085eac636a249",
+        "type": "github"
+      },
+      "original": {
+        "owner": "nixos",
+        "ref": "nixpkgs-unstable",
+        "repo": "nixpkgs",
+        "type": "github"
+      }
+    },
     "root": {
       "inputs": {
         "agenix": "agenix",
         "emacs-overlay": "emacs-overlay",
         "home-manager": "home-manager_2",
         "nixpkgs": "nixpkgs_2",
-        "nixpkgs-clisp": "nixpkgs-clisp"
+        "nixpkgs-clisp": "nixpkgs-clisp",
+        "verus-flake": "verus-flake"
       }
     },
     "systems": {
@@ -192,6 +227,40 @@
         "repo": "default",
         "type": "github"
       }
+    },
+    "systems_2": {
+      "locked": {
+        "lastModified": 1681028828,
+        "narHash": "sha256-Vy1rq5AaRuLzOxct8nz4T6wlgyUR7zLU309k9mBC768=",
+        "owner": "nix-systems",
+        "repo": "default",
+        "rev": "da67096a3b9bf56a91d16901293e51ba5b49a27e",
+        "type": "github"
+      },
+      "original": {
+        "owner": "nix-systems",
+        "repo": "default",
+        "type": "github"
+      }
+    },
+    "verus-flake": {
+      "inputs": {
+        "flake-utils": "flake-utils",
+        "nixpkgs": "nixpkgs_3"
+      },
+      "locked": {
+        "lastModified": 1756678780,
+        "narHash": "sha256-JuRp7OEqvFr3c5w6CJ5zOhUQzWNLOQfiB56chs48FuY=",
+        "owner": "JakeGinesin",
+        "repo": "verus-flake",
+        "rev": "a4b5a6949dece866a16488c78d99039aab18d7e3",
+        "type": "github"
+      },
+      "original": {
+        "owner": "JakeGinesin",
+        "repo": "verus-flake",
+        "type": "github"
+      }
     }
   },
   "root": "root",
diff --git a/flake.nix b/flake.nix
index 98df1c3..84629bf 100644
--- a/flake.nix
+++ b/flake.nix
@@ -16,6 +16,8 @@
     };
 
     nixpkgs-clisp.url = "github:NixOS/nixpkgs/da320e5472f021b96a883f71fc525ca0e4815273";
+
+    verus-flake.url = "github:JakeGinesin/verus-flake";
   };
   outputs = {
     self,
@@ -24,6 +26,7 @@
     agenix,
     emacs-overlay,
     nixpkgs-clisp,
+    verus-flake,
   } @ inputs: let
     system = "x86_64-linux";
 
@@ -44,6 +47,8 @@
       ];
       environment.systemPackages = [
         agenix.packages.${system}.default
+        # verus-flake.packages.default
+        verus-flake.packages.${system}.default
       ];
     };
 
diff --git a/home/programs/zsh/zshrc b/home/programs/zsh/zshrc
index fa71caf..bb48e61 100644
--- a/home/programs/zsh/zshrc
+++ b/home/programs/zsh/zshrc
@@ -218,6 +218,8 @@ alias activecon="nmcli -t -f name  connection show --active"
 alias dnsblock-clear="echo 'attemping to clear blocked dns...'; ls /var/lib/dnsmasq/conf.d; sudo rm -rf /var/lib/dnsmasq/conf.d/*; sudo systemctl restart dnsmasq;"
 alias dnsblock-add="nvim /home/synchronous/nix-cfg/system/networking/blockers.sh"
 alias focus-wifi="nvim /home/synchronous/nix-cfg/system/networking/blockers.sh"
+alias verus="cd /home/synchronous/code/verus"
+alias cure="cd /home/synchronous/code/cure53"
 
 stack() {
   find . -type f -exec echo -e "\n--- {} ---\n" \; -exec cat {} \;
@@ -264,7 +266,6 @@ a.sherlock() {
 
   docker run --rm -t sherlock/sherlock "$@"
 }
-
 a.dnsenum() {
   dnsenum "$@"
 }