lifting-bits
diff --git a/‎ports/z3/fix-install-path.patch‎
Lines changed: 0 additions & 23 deletions b/‎ports/z3/fix-install-path.patch‎
Lines changed: 0 additions & 23 deletions
diff --git a/‎ports/z3/portfile.cmake‎
Lines changed: 0 additions & 36 deletions b/‎ports/z3/portfile.cmake‎
Lines changed: 0 additions & 36 deletions
diff --git a/‎ports/z3/remove-flag-overrides.patch‎
Lines changed: 0 additions & 12 deletions b/‎ports/z3/remove-flag-overrides.patch‎
Lines changed: 0 additions & 12 deletions
diff --git a/‎ports/z3/vcpkg.json‎
Lines changed: 0 additions & 18 deletions b/‎ports/z3/vcpkg.json‎
Lines changed: 0 additions & 18 deletions
diff --git a/‎vcpkg_info.txt‎
Lines changed: 1 addition & 1 deletion b/‎vcpkg_info.txt‎
Lines changed: 1 addition & 1 deletion
@@ -1,2 +1,2 @@
 https://github.com/microsoft/vcpkg.git
-2022.10.19
+2022.11.14
Original file line number	Diff line number	Diff line change
`@@ -1,2 +1,2 @@`
`1`	`1`	`https://github.com/microsoft/vcpkg.git`
`2`		`-2022.10.19`
	`2`	`+2022.11.14`