Merge branch 'Deducteam:main' into check-mappings

Author: agontard

.github/workflows/main.yml

@@ -27,7 +27,7 @@ jobs:
     steps:
     # actions/checkout must be done BEFORE avsm/setup-ocaml
       - name: Checkout hol2dk
-        uses: actions/checkout@v5
+        uses: actions/checkout@v6
       - name: Install opam
         uses: avsm/setup-ocaml@v3
         with:

hol2dk.opam

@@ -2,6 +2,7 @@
 opam-version: "2.0"
 synopsis: "HOL-Light to Dedukti/Lambdapi and Rocq translator"
 description: "HOL-Light to Dedukti/Lambdapi and Rocq translator"
+x-maintenance-intent: ["(latest)"]
 maintainer: ["Frédéric Blanqui"]
 authors: ["Frédéric Blanqui"]
 license: "CeCILL-2.1"