From a0d94c29db11b3ecc9fd564c62ec58fe925762ee Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Fr=C3=A9d=C3=A9ric=20Blanqui?= Date: Tue, 21 Jul 2026 15:21:12 +0200 Subject: [PATCH 1/2] opam/ci: use lambdapi > 3.0.0 only --- .github/workflows/main.yml | 2 +- lambdapi-stdlib.opam | 2 +- 2 files changed, 2 insertions(+), 2 deletions(-) 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/lambdapi-stdlib.opam index f38c52a..5141721 100644 --- a/lambdapi-stdlib.opam +++ b/lambdapi-stdlib.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"} ] From 186e15c79afde0fd838a23d17cf437e29d100519 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Fr=C3=A9d=C3=A9ric=20Blanqui?= Date: Tue, 21 Jul 2026 15:24:52 +0200 Subject: [PATCH 2/2] rename lambdapi-stdlib.opam into opam --- lambdapi-stdlib.opam => opam | 0 1 file changed, 0 insertions(+), 0 deletions(-) rename lambdapi-stdlib.opam => opam (100%) diff --git a/lambdapi-stdlib.opam b/opam similarity index 100% rename from lambdapi-stdlib.opam rename to opam