line length

idris-lang · Nov 11, 2023 · 2520f4e · 2520f4e
1 parent a088740
commit 2520f4e
Showing 1 changed file with 2 additions and 1 deletion.
diff --git a/INSTALL.md b/INSTALL.md
@@ -10,7 +10,8 @@ You can install Idris 2 with any one of a number of package managers.
 
 ### Installing with [Pack](https://github.com/stefan-hoeck/idris2-pack)
 Pack comes with an installation of Idris 2, so you just need to install Pack.
-See [the installation instructions](https://github.com/stefan-hoeck/idris2-pack/blob/main/INSTALL.md) on GitHub.
+See [the installation instructions](https://github.com/stefan-hoeck/idris2-pack/blob/main/INSTALL.md)
+on GitHub.
 ### Installing with [Homebrew](https://brew.sh/)
 ```sh
 brew install idris2