update opam file

Author: fblanqui

.github/workflows/docker-action.yml renamed to .github/workflows/main.yml

@@ -17,10 +17,10 @@ jobs:
     strategy:
       fail-fast: false
       matrix:
-        coq_version: [dev, '9.0', '8.20', 8.19, 8.18, 8.17, 8.16]
+        coq_version: [dev, 9.1, '9.0', '8.20', 8.19, 8.18, 8.17, 8.16]
     steps:
       - uses: actions/checkout@v5
       - uses: coq-community/docker-coq-action@v1
         with:
-          opam_file: 'coq-color.opam'
+          opam_file: 'opam'
           coq_version: ${{ matrix.coq_version }}

coq-color.opam renamed to opam

@@ -1,6 +1,6 @@
 opam-version: "2.0"
 synopsis: "A library on rewriting theory and termination"
-homepage: "http://color.inria.fr/"
+homepage: "https://github.com/fblanqui/color/"
 license: "CeCILL-2.1"
 bug-reports: "https://github.com/fblanqui/color/issues"
 depends: [
@@ -9,7 +9,7 @@ depends: [
   "rocq-bignums" {>= "9.0"}
 ]
 build: [make "-j%{jobs}%"]
-install: [make "-f" "Makefile.coq" "install"]
+install: [make "-f" "rocq.mk" "install"]
 flags: light-uninstall
 remove: ["rm" "-R" "%{lib}%/coq/user-contrib/CoLoR"]
 maintainer: "[email protected]"
@@ -30,7 +30,7 @@ authors: [
   "Sorin Stratulat"
 ]
 tags: [
-  "date:2025-06-10"
+  "date:2025-11-11"
 
   "logpath:CoLoR"