make this release 1.1

JoJoDeveloping · JoJoDeveloping · commit 216d5342bc42 · 2025-11-05T15:45:31.000+01:00
diff --git a/README.md b/README.md
@@ -62,6 +62,7 @@ We are open to contributions! To contribute, fork the project on GitHub, add a n
 - Benjamin Peters
 - Gert Smolka
 - Dominik Wehr
+- Janis Bailitis
 
 ## Publications
 
diff --git a/opam b/opam
@@ -1,5 +1,5 @@
 opam-version: "2.0"
-version: "1.1+9.0"
+version: "1.1+9.0.1"
 maintainer: "kirst@cs.uni-saarland.de"
 homepage: "https://github.com/uds-psl/coq-library-fol/"
 dev-repo: "git+https://github.com/uds-psl/coq-library-fol/"
