diff --git a/.gitlab-ci.yml b/.gitlab-ci.yml
index 507f437635cf0462f57c2926191912843ae05b67..7dce153959f65db1a3ed9162f19597a6c9391673 100644
--- a/.gitlab-ci.yml
+++ b/.gitlab-ci.yml
@@ -33,6 +33,7 @@ build-coq.8.15.1:
   variables:
     OPAM_PINS: "coq version 8.15.1"
     DENY_WARNINGS: "1"
+    OPAM_PKG: "1"
 
 trigger-iris.dev:
   <<: *template
diff --git a/coq-actris.opam b/coq-actris.opam
index 0b4c6099d3c0d43c57c41bc20d4993ffab675b96..6634ec37b4e12226618e6c51b9ac8a226bf2ee29 100644
--- a/coq-actris.opam
+++ b/coq-actris.opam
@@ -3,7 +3,7 @@ maintainer: "Robbert Krebbers"
 synopsis: "Actris: Session protocol reasoning in Iris"
 homepage: "https://gitlab.mpi-sws.org/iris/actris"
 authors: "Jonas Kastberg Hinrichsen, Daniël Louwrink, Jesper Bengtson, Robbert Krebbers"
-license: "BSD"
+license: "BSD-3-Clause"
 bug-reports: "https://gitlab.mpi-sws.org/iris/actris/issues"
 dev-repo: "git+https://gitlab.mpi-sws.org/iris/actris.git"