From ebed040d3e8b348d9c1d330666216f38edfe0e72 Mon Sep 17 00:00:00 2001 From: MatthewDaggitt Date: Mon, 29 Jul 2024 15:00:18 +0800 Subject: [PATCH] Fix #2443 by adding link to versioning table in installation instructions (#2445) --- doc/installation-guide.md | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/doc/installation-guide.md b/doc/installation-guide.md index 2abf13aa29..893753932d 100644 --- a/doc/installation-guide.md +++ b/doc/installation-guide.md @@ -3,7 +3,7 @@ Installation instructions Note: the full story on installing Agda libraries can be found at [readthedocs](http://agda.readthedocs.io/en/latest/tools/package-system.html). -Use version v2.1 of the standard library with Agda 2.6.4.X. +Use version v2.1 of the standard library with Agda 2.6.4.X. You can find the correct version of the library to use for different Agda versions on the [Agda Wiki](https://wiki.portal.chalmers.se/agda/Libraries/StandardLibrary). 1. Navigate to a suitable directory `$HERE` (replace appropriately) where you would like to install the library.