From b4af9fb91168780ce53653c8aa033e3501a454ae Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Thorsten=20Wi=C3=9Fmann?= <edu@thorsten-wissmann.de>
Date: Mon, 26 Nov 2018 20:31:17 +0100
Subject: [PATCH] Another note in the README.md

---
 README.md | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/README.md b/README.md
index 3ef865e..0d32c4f 100644
--- a/README.md
+++ b/README.md
@@ -4,7 +4,7 @@
 
     stack build
 
-Alternatively, you can directly download the [latest binaries for linux](https://gitlab.cs.fau.de/i8/copar/-/jobs/artifacts/master/download?job=test).
+Alternatively, you can directly download the [latest binaries for linux](https://gitlab.cs.fau.de/i8/copar/-/jobs/artifacts/master/download?job=test) (dynamically linked for a current version of gmp and libc).
 
 ## Running
 
-- 
GitLab