update opam files with latest template

Author: palmskog

coq-chapar-stores.opam

@@ -15,7 +15,7 @@ the Coq proof assistant and extracted to executable code.
 build: [make "-j%{jobs}%" "stores"]
 depends: [
   "ocaml" {>= "4.05.0"}
-  "coq" {(>= "8.9" & < "8.10~") | (= "dev")}
+  "coq" {(>= "8.9" & < "8.11~") | (= "dev")}
   "ocamlbuild" {build}
   "batteries" {>= "2.8.0"}
 ]

coq-chapar.opam

@@ -16,11 +16,9 @@ of client programs.
 
 build: [make "-j%{jobs}%"]
 install: [make "install"]
-remove: ["rm" "-R" "%{lib}%/coq/user-contrib/Chapar"]
-flags: light-uninstall
 depends: [
   "ocaml"
-  "coq" {(>= "8.9" & < "8.10~") | (= "dev")}
+  "coq" {(>= "8.9" & < "8.11~") | (= "dev")}
 ]
 
 tags: [

meta.yml

@@ -41,7 +41,7 @@ plugin: false
 
 supported_coq_versions:
   text: 8.9 or later
-  opam: '{(>= "8.9" & < "8.10~") | (= "dev")}'
+  opam: '{(>= "8.9" & < "8.11~") | (= "dev")}'
 
 tested_coq_nix_versions:
 - version_or_url: https://github.com/coq/coq-on-cachix/tarball/master