diff --git a/.gitlab-ci.yml b/.gitlab-ci.yml
index 031a9b8596976ad116de358c470db9ec6d226584..b15ec7f89277f41785d608a4a278fa361b59c180 100644
--- a/.gitlab-ci.yml
+++ b/.gitlab-ci.yml
@@ -221,7 +221,6 @@ external-plugins:
           "context-from-precondition",
           "frama-clang",
           "genassigns",
-          "linea-cabs",
           "meta",
           "minimal",
           "mthread",
diff --git a/nix/external-plugins.txt b/nix/external-plugins.txt
index fb844b7d95041148e639ebc1fc3577afeca5c7e1..62b9bf97aa0ac96da9835386a8bdb5cae91baf55 100644
--- a/nix/external-plugins.txt
+++ b/nix/external-plugins.txt
@@ -2,7 +2,6 @@ acsl-importer git@git.frama-c.com:frama-c/acsl-importer.git
 caveat-importer git@git.frama-c.com:frama-c/caveat-importer.git
 context-from-precondition git@git.frama-c.com:frama-c/context-from-precondition.git
 genassigns git@git.frama-c.com:frama-c/genassigns.git
-linea-cabs git@git.frama-c.com:frama-c/linea-cabs.git
 meta git@git.frama-c.com:frama-c/meta.git
 mthread git@git.frama-c.com:frama-c/mthread.git
 security git@git.frama-c.com:frama-c/security.git