Skip to content

Commit

Permalink
Fix #2443 by adding link to versioning table in installation instruct…
Browse files Browse the repository at this point in the history
…ions (#2445)
  • Loading branch information
MatthewDaggitt authored Jul 29, 2024
1 parent 6f1416b commit ebed040
Showing 1 changed file with 1 addition and 1 deletion.
2 changes: 1 addition & 1 deletion doc/installation-guide.md
Original file line number Diff line number Diff line change
Expand Up @@ -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.
Expand Down

0 comments on commit ebed040

Please sign in to comment.