diff --git a/coq-lifetime-logic.opam b/coq-lifetime-logic.opam
index accb10e816d5188ca16d447084f95186376b5159..d2a46dc7bd3bb5da2676154702434b9700575bd1 100644
--- a/coq-lifetime-logic.opam
+++ b/coq-lifetime-logic.opam
@@ -15,5 +15,5 @@ depends: [
   "coq-iris" { (= "dev.2024-03-05.0.d71f4877") | (= "dev") }
 ]
 
-build: ["./make-package" "lambda-rust" "-j%{jobs}%"]
-install: ["./make-package" "lambda-rust" "install"]
+build: ["./make-package" "lifetime" "-j%{jobs}%"]
+install: ["./make-package" "lifetime" "install"]