diff --git a/.gitlab-ci.yml b/.gitlab-ci.yml
index 07bf1152ef1e81d63f499abbd56a349cad8de97a..b24e02198e0d4d28c343ef5573ce75e516a74b64 100644
--- a/.gitlab-ci.yml
+++ b/.gitlab-ci.yml
@@ -45,7 +45,6 @@ build-coq.8.8.2:
   <<: *template
   variables:
     OPAM_PINS: "coq version 8.8.2"
-    OPAM_PKG: "coq-lambda-rust"
     TIMING_CONF: "coq-8.8.2"
   tags:
   - fp-timing