diff --git a/docs.it4i/software/debuggers/aislinn.md b/docs.it4i/software/debuggers/aislinn.md
index 1ee8232e645ad3219986972d9bbd78b3651f9123..2e418091f937cbc8f61a18f2d0a2e117f86a6e82 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: