rocq 9.0

Author: thery

.github/workflows/docker-action.yml

@@ -17,7 +17,7 @@ jobs:
     strategy:
       matrix:
         image:
-          - 'coqorg/coq:9.0'
+          - 'rocq/rocq-prover:9.0'
       fail-fast: false
     steps:
       - uses: actions/checkout@v4

README.md

@@ -142,7 +142,6 @@ [email protected]
 - Author(s):
   - Laurent Théry
 - License: [MIT License](LICENSE)
-- Compatible Coq versions: 9.0 or later
 - Additional dependencies: none
 - Coq namespace: `PolTac`
 - Related publication(s): none