From 497e1e9f4426dc0248bc0b7502c2176a530d4faf Mon Sep 17 00:00:00 2001
From: Nick Spinale <nick@nickspinale.com>
Date: Sun, 27 Oct 2024 23:50:08 -0700
Subject: [PATCH] crates/sel4: Add MSRV

Signed-off-by: Nick Spinale <nick@nickspinale.com>
---
 crates/sel4/Cargo.nix  | 1 +
 crates/sel4/Cargo.toml | 1 +
 2 files changed, 2 insertions(+)

diff --git a/crates/sel4/Cargo.nix b/crates/sel4/Cargo.nix
index bca2797a1..2117ca836 100644
--- a/crates/sel4/Cargo.nix
+++ b/crates/sel4/Cargo.nix
@@ -12,6 +12,7 @@ mk rec {
   });
   package.name = "sel4";
   package.license = "MIT";
+  package.rust-version = "1.76"; # tracks verus
   dependencies = {
     inherit (versions) cfg-if;
     inherit (localCrates)
diff --git a/crates/sel4/Cargo.toml b/crates/sel4/Cargo.toml
index 889aa9abb..f2a0a9a32 100644
--- a/crates/sel4/Cargo.toml
+++ b/crates/sel4/Cargo.toml
@@ -15,6 +15,7 @@ version = "0.1.0"
 authors = ["Nick Spinale <nick.spinale@coliasgroup.com>"]
 edition = "2021"
 license = "MIT"
+rust-version = "1.76"
 
 [features]
 default = ["state"]