upd opam

Author: affeldt-aist

.github/workflows/docker-action.yml

@@ -21,9 +21,9 @@ jobs:
       fail-fast: false
     steps:
       - uses: actions/checkout@v2
-      - uses: coq-community/docker-coq-action@v1
+      - uses: rocq-community/docker-rocq-action@v1
         with:
-          opam_file: 'coq-robot.opam'
+          opam_file: 'robot-rocq.opam'
           custom_image: ${{ matrix.image }}
 
 # See also:

coq-robot.opam renamed to robot-rocq.opam

@@ -13,13 +13,13 @@ license: "LGPL-2.1-or-later"
 synopsis: "Formal Foundations for Modeling Robot Manipulators"
 description: """
 This repository contains an experimental library for the mathematics
-of rigid body transformations using the Coq proof-assistant and the
+of rigid body transformations using the Rocq proof-assistant and the
 Mathematical Components library."""
 
 build: [make "-j%{jobs}%" ]
 install: [make "install"]
 depends: [
-  "coq" { (>= "8.20" & < "9.2~") }
+  "coq" { (>= "9.0" & < "9.2~") }
   "coq-hierarchy-builder" { (>= "1.9.1") }
   "coq-mathcomp-ssreflect" { (>= "2.3.0") }
   "coq-mathcomp-fingroup" { (>= "2.3.0") }
@@ -34,7 +34,7 @@ depends: [
 tags: [
   "keyword:robotics"
   "keyword:3D geometry"
-  "logpath:robot"
+  "logpath:robot-rocq"
 ]
 authors: [
   "Reynald Affeldt, AIST"