From be4801faf541c14d3f6454d06d2b946b2888e144 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Marko=20Dimja=C5=A1evi=C4=87?= Date: Thu, 31 Jan 2019 08:28:34 +0100 Subject: [PATCH] Getting Started: pins down software versions so badges match links --- README.md | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/README.md b/README.md index 40cbaec9..4971a496 100644 --- a/README.md +++ b/README.md @@ -14,8 +14,8 @@ permalink: /GettingStarted/ There are several tools you need to work with PLFA: - - [Agda](https://agda.readthedocs.io/en/latest/getting-started/installation.html) - - [Agda standard library](https://github.com/agda/agda-stdlib) + - [Agda](https://agda.readthedocs.io/en/v2.5.4.2/getting-started/installation.html) + - [Agda standard library](https://github.com/agda/agda-stdlib/tree/5819a4dd9c965296224944f05b1481805649bdc2) For most of the tools, you can simply follow their respective build instructions. We list the versions of our dependencies on the badges above.