From 34b59b64dc0b907ecac2a2abc211fde86c3321a0 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Th=C3=A9o=20Zimmermann?= Date: Wed, 11 Dec 2024 15:06:31 +0100 Subject: [PATCH] Update regarding Snap. --- pages/download.html | 12 ++++++------ 1 file changed, 6 insertions(+), 6 deletions(-) diff --git a/pages/download.html b/pages/download.html index 8527bdbe41..0a191b2f5d 100644 --- a/pages/download.html +++ b/pages/download.html @@ -11,15 +11,15 @@ plugins) that extend it and make it more powerful. The Coq Platform provides an easy way to install Coq and a consistent set of packages -on Windows, macOS and many Linux distributions.

+on Windows, macOS and Linux.

Beginners are encouraged to use one of the binary installers: we provide binary -installers for Windows and macOS and -a Snap package -compatible with many Linux distributions.

+installers for Windows and macOS. +A Snap package +was available, but it will not be updated beyond Coq 8.19 and may eventually be removed.

-

Experienced users are advised to run the +

Experienced users (and Linux users) are advised to run the Coq Platform scripts to install from sources, as this will allow them to install additional packages with @@ -29,7 +29,7 @@