fix CI

.github/workflows/build.yml

@@ -17,7 +17,7 @@ jobs:
       matrix:
         coq_version:
           # - dev
-          - '8.13.0'
+          - '8.13.1'
       max-parallel: 4
       # don't cancel all in-progress jobs if one matrix job fails:
       fail-fast: false

aneris.opam

@@ -10,7 +10,7 @@ bug-reports: "https://github.com/logsem/aneris/issues"
 build: [make "-j%{jobs}%"]
 install: [make "install"]
 depends: [
-  "coq" { (= "8.13.0") | (= "dev") }
+  "coq" { (= "8.13.1") | (= "dev") }
   "coq-iris" { (= "3.4.0") | (= "dev") }
   "coq-stdpp" { (= "1.5.0") | (= "dev") }
   "coq-iris-string-ident" { (= "dev")  }