Remove instructions to install AE on Debian (OCamlPro#1217)

We do not support this package for a long time.
Halbaroth · Aug 22, 2024 · 700d5e8 · 700d5e8
1 parent 0f1337d
commit 700d5e8
Showing 1 changed file with 0 additions and 8 deletions.
diff --git a/docs/sphinx_docs/Install/index.md b/docs/sphinx_docs/Install/index.md
@@ -11,14 +11,6 @@ This command will install the Alt-ergo library `alt-ergo-lib` and the parsers `a
 
 Since version 2.6.0, Alt-Ergo is compatible with opam 2.2 installations using both Cygwin and MSYS2 on Windows. To setup opam on Windows, please follow the instructions [here](https://ocamlpro.com/blog/2024_07_01_opam_2_2_0_releases/).
 
-### On Debian
-
-Alt-ergo is also available in the debian package manager [here]. You can install it with the following command :
-
-```
-sudo apt install alt-ergo
-```
-
 ## From GitHub releases (Linux and macOS)
 
 For convenience, binary releases for Linux and macOS (amd64 and arm64) of