From 75e51247ce837dcff275867df87d47b3fa6367f2 Mon Sep 17 00:00:00 2001 From: Pierre Villemot Date: Thu, 22 Aug 2024 15:12:42 +0200 Subject: [PATCH] Remove instructions to install AE on Debian We do not support this package for a long time. --- docs/sphinx_docs/Install/index.md | 8 -------- 1 file changed, 8 deletions(-) diff --git a/docs/sphinx_docs/Install/index.md b/docs/sphinx_docs/Install/index.md index 86c68c54c..68d8b6259 100644 --- 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