cargo: update rust-verion; cargo update

shnarazk · Jul 28, 2024 · e0c2d78 · e0c2d78
1 parent ba52577
commit e0c2d78
Show file tree

Hide file tree

Showing 2 changed files with 5 additions and 5 deletions.
diff --git a/Cargo.lock b/Cargo.lock
diff --git a/Cargo.toml b/Cargo.toml
@@ -11,7 +11,7 @@ homepage = "https://github.com/shnarazk/splr"
 keywords = ["SAT", "SAT-solver", "logic", "satisfiability"]
 categories = ["science", "mathematics"]
 default-run = "splr"
-rust-version = "1.79"
+rust-version = "1.80"
 
 [build]
 rustflags = ["-C", "target-cpu=native"]