From a4a7ee21ac42bb77bebdc4d47cf6d57bd2d279ff Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Andr=C3=A9=20Videla?= Date: Wed, 10 Apr 2024 11:27:49 +0100 Subject: [PATCH] update download instructions --- src/content/pages/download.rst | 13 ++++++++----- 1 file changed, 8 insertions(+), 5 deletions(-) diff --git a/src/content/pages/download.rst b/src/content/pages/download.rst index 62d1f31..2781b5b 100644 --- a/src/content/pages/download.rst +++ b/src/content/pages/download.rst @@ -22,18 +22,21 @@ You can always find the latest development version `on github + ``git clone`` `https://github.com/idris-lang/Idris2.git `_ -If you want to install it the "hard way", you can use a bootstrapping -version of Idris 2, which is implemented in Idris 1: +You can also use idris via pack, the package manager. -+ ``git clone`` `https://github.com/edwinb/Idris2-boot.git `_ +* Install `pack `_ Previous releases are also available: * `idris2-0.5.1.tgz <{static}../releases/idris2-0.5.1.tgz>`_ `(SHA 256 hash) <{static}../releases/idris2-0.5.1.tgz.sha256>`__ * `idris2-0.4.0.tgz <{static}../releases/idris2-0.4.0.tgz>`_ `(SHA 256 hash) <{static}../releases/idris2-0.4.0.tgz.sha256>`__ -Idris 1 -------- +Idris 1 (legacy) +---------------- + +Idris 1 is no longer maintained but remains available. If you are still using idris 1, consider switching to idris 2. + +* Guide to port to `idris 2 `_ You can find the source from the following places: