diff --git a/.github/workflows/main.yml b/.github/workflows/main.yml
index c9e1fc6..3c99521 100644
--- a/.github/workflows/main.yml
+++ b/.github/workflows/main.yml
@@ -9,7 +9,7 @@ jobs:
     strategy:
       fail-fast: false
       matrix:
-        lambdapi-version: [dev, 3.0.0]
+        lambdapi-version: [dev]
 
     runs-on: ubuntu-latest
 
diff --git a/lambdapi-stdlib.opam b/opam
similarity index 96%
rename from lambdapi-stdlib.opam
rename to opam
index f38c52a..5141721 100644
--- a/lambdapi-stdlib.opam
+++ b/opam
@@ -14,5 +14,5 @@ dev-repo: "git+https://github.com/Deducteam/lambdapi-stdlib.git"
 build: [ make ]
 install: [ make "install" ]
 depends: [
-  "lambdapi" {>= "3.0.0"}
+  "lambdapi" {> "3.0.0"}
 ]