do some renaming (#33)

Author: SkySkimmer

.github/workflows/docker-action.yml

@@ -19,9 +19,9 @@ jobs:
       fail-fast: false
     steps:
       - uses: actions/checkout@v4
-      - uses: coq-community/docker-coq-action@v1
+      - uses: rocq-community/docker-coq-action@v1
         with:
-          opam_file: 'coq-ltac2-compiler.opam'
+          opam_file: 'rocq-ltac2-compiler.opam'
           coq_version: ${{ matrix.coq_version }}
 
 # See also:

coq-ltac2-compiler.opam rocq-ltac2-compiler.opamcoq-ltac2-compiler.opam renamed to rocq-ltac2-compiler.opam

@@ -2,9 +2,9 @@ opam-version: "2.0"
 maintainer: "gaetan.gilbert@skyskimmer.net"
 version: "dev"
 
-homepage: "https://github.com/SkySkimmer/coq-ltac2-compiler"
-dev-repo: "git+https://github.com/SkySkimmer/coq-ltac2-compiler.git"
-bug-reports: "https://github.com/SkySkimmer/coq-ltac2-compiler/issues"
+homepage: "https://github.com/SkySkimmer/rocq-ltac2-compiler"
+dev-repo: "git+https://github.com/SkySkimmer/rocq-ltac2-compiler.git"
+bug-reports: "https://github.com/SkySkimmer/rocq-ltac2-compiler/issues"
 license: "LGPL-2.1-only"
 
 synopsis: "Plugin to compile Ltac2 tactics using OCaml"
@@ -15,7 +15,9 @@ build: [make "-j%{jobs}%" "test"]
 install: [make "install"]
 depends: [
   "ocaml" {>= "4.09.0"}
-  "coq" {= "dev"}
+  "rocq-runtime" {= "dev"}
+  "rocq-core"
+  "coq-core" # still using coq_makefile
 ]
 
 authors: [