Update README.md

Certora · Jan 14, 2025 · 44a664e · 44a664e
1 parent 35826b3
commit 44a664e
Showing 1 changed file with 1 addition and 6 deletions.
diff --git a/README.md b/README.md
@@ -12,12 +12,7 @@ released binaries.
 
 1. Create directory `$HOME/platform-tools-certora`
 
-2. Go to releases (https://github.com/Certora/certora-solana-platform-tools/releases) and download the right executable for your machine. For instance, for mac you can type:
-
-```
-wget https://github.com/Certora/certora-solana-platform-tools/releases/download/osx-aarch64/platform-tools-osx-aarch64.tar.bz2
-``` 
-**Please, make sure you download the latest version**.
+2. Go to releases (https://github.com/Certora/certora-solana-platform-tools/releases) and download the right executable for your machine. **Please, make sure you download the latest version**.
 
 3. Uncompress using your favourite tool the tar.bz2 file in `$HOME/platform-tools-certora`.