From 82004f8fabbbcdd8270d87bd01abdfa614e072b9 Mon Sep 17 00:00:00 2001
From: Jan Siwiec <jan.siwiec@vsb.cz>
Date: Wed, 3 Mar 2021 11:23:02 +0100
Subject: [PATCH] added installed versions section

---
 docs.it4i/software/debuggers/aislinn.md | 8 ++++++++
 1 file changed, 8 insertions(+)

diff --git a/docs.it4i/software/debuggers/aislinn.md b/docs.it4i/software/debuggers/aislinn.md
index 1ee8232e6..2e418091f 100644
--- a/docs.it4i/software/debuggers/aislinn.md
+++ b/docs.it4i/software/debuggers/aislinn.md
@@ -7,6 +7,14 @@ Aislinn is a dynamic verifier for MPI programs. For a fixed input, it covers all
 !!! note
     Aislinn is developed at IT4Innovations and some parts are still considered experimental. If you have any questions or experience any problems, contact the author: <mailto:stanislav.bohm@vsb.cz>.
 
+## Installed Versions
+
+For the current list of installed versions, use:
+
+```console
+$ ml av Aislinn
+```
+
 ## Usage
 
 Let us have the following program that contains a bug that is not manifested in all runs:
-- 
GitLab