Add M1 to the list of platforms for which cargo install is supported (

rust-lang#1854)
celinval · Nov 5, 2022 · 6adb351 · 6adb351
1 parent c38527f
commit 6adb351
Showing 1 changed file with 2 additions and 1 deletion.
diff --git a/docs/src/install-guide.md b/docs/src/install-guide.md
@@ -1,9 +1,10 @@
 # Installation
 
-Kani offers an easy installation option on two platforms:
+Kani offers an easy installation option on three platforms:
 
 * `x86_64-unknown-linux-gnu` (Most Linux distributions)
 * `x86_64-apple-darwin` (Intel Mac OS)
+* `aarch64-apple-darwin` (Apple M1)
 
 Other platforms are either not yet supported or require instead that
 you [build from source](build-from-source.md). To use Kani in your