diff --git a/_fc-plugins/ltest.md b/_fc-plugins/ltest.md
index 51008a15448ad7a0aca51684283ae4385544be34..1ecaa317bee6d385e63b3956586ec2703122abaa 100644
--- a/_fc-plugins/ltest.md
+++ b/_fc-plugins/ltest.md
@@ -28,6 +28,12 @@ already have a test suite whose coverage you want to evaluate. Still in the
 context of Frama-C, you can for instance use
 [PathCrawler]({% link _fc-plugins/pathcrawler.md %}) to generate such a suite.
 
+These three tools are available on Frama-C's gitlab server under LGPL-2.1-only:
+- [LAnnotate](https://git.frama-c.com/pub/ltest/lannotate)
+- [LUncov](https://git.frama-c.com/pub/ltest/luncov)
+- [LReplay](https://git.frama-c.com/pub/ltest/lreplay)
+
+
 ## Further Reading
 
 - Sébastien Bardin, Nikolai Kosmatov, Michaël Marcozzi, and Mickaël Delahaye.
@@ -49,8 +55,8 @@ opam install frama-c-lannotate frama-c-luncov lreplay
 
 Manual installation instructions are available in the README of each of the repositories:
 
-- [https://git.frama-c.com/pub/ltest/lannotate](https://git.frama-c.com/pub/ltest/lannotate)
-- [https://git.frama-c.com/pub/ltest/luncov](https://git.frama-c.com/pub/ltest/luncov)
-- [https://git.frama-c.com/pub/ltest/lreplay](https://git.frama-c.com/pub/ltest/lreplay)
+- [LAnnotate](https://git.frama-c.com/pub/ltest/lannotate/-/blob/master/README.markdown)
+- [LUncov](https://git.frama-c.com/pub/ltest/luncov/-/blob/master/README.markdown)
+- [LReplay](https://git.frama-c.com/pub/ltest/lreplay/-/blob/master/README.markdown)
 
 They require OCaml>= 4.08.1, and, for the plugins, Frama-C 24.0 (Chromium).