Release prep

Makefile

@@ -18,3 +18,7 @@ Parser.v: Parser.vy
 
 test:
 	$(MAKE) -C test
+
+publish%:
+	opam publish --packages-directory=released/packages \
+		--repo=coq/opam-coq-archive --tag=v$* -v $* liyishuai/coq-json

README.md

@@ -33,7 +33,7 @@ The easiest way to install the latest released version of Coq JSON
 is via [OPAM](https://opam.ocaml.org/doc/Install.html):
 
 ```shell
-opam repo add coq-extra-dev https://coq.inria.fr/opam/extra-dev
+opam repo add coq-released https://coq.inria.fr/opam/released
 opam install coq-json
 ```
 

coq-json.opam

@@ -19,15 +19,16 @@ run-test: [make "-j%{jobs}%" "test"]
 install: [make "install"]
 depends: [
   "coq" { >= "8.12~" }
-  "coq-parsec" { >= "0.1.0" }
-  "menhir" { >= "20210310" }
-  "coq-menhirlib" { >= "20210310" }
+  "coq-parsec" { >= "0.1.1" }
+  "menhir" { >= "20220210" }
+  "coq-menhirlib" { >= "20220210" }
 ]
 
 tags: [
   "category:Computer Science/Data Types and Data Structures"
   "keyword:serialization"
   "keyword:JSON"
+  "date:2022-03-03"
   "logpath:JSON"
 ]
 authors: [

meta.yml

@@ -17,39 +17,21 @@ dependencies:
   - description: '[Parsec](https://github.com/liyishuai/coq-parsec)'
     opam:
       name: coq-parsec
-      version: '{ >= "0.1.0" }'
+      version: '{ >= "0.1.1" }'
   - description: '[Menhir](http://gallium.inria.fr/~fpottier/menhir/)'
     opam:
       name: menhir
-      version: '{ >= "20210310" }'
+      version: '{ >= "20220210" }'
   - description: '[MenhirLib](https://gitlab.inria.fr/fpottier/menhir/-/tree/master/coq-menhirlib/)'
     opam:
       name: coq-menhirlib
-      version: '{ >= "20210310" }'
+      version: '{ >= "20220210" }'
 categories:
   - name: Computer Science/Data Types and Data Structures
 keywords:
   - name: serialization
   - name: JSON
-build: |
-  ## Building and installation instructions
-
-  The easiest way to install the latest released version of Coq JSON
-  is via [OPAM](https://opam.ocaml.org/doc/Install.html):
-
-  ```shell
-  opam repo add coq-extra-dev https://coq.inria.fr/opam/extra-dev
-  opam install coq-json
-  ```
-
-  To instead build and install manually, do:
-
-  ``` shell
-  git clone https://github.com/liyishuai/coq-json.git
-  cd coq-json
-  make   # or make -j <number-of-cores-on-your-machine> 
-  make install
-  ```
+date: 2022-03-03
 namespace: JSON
 opam-file-maintainer: 'Yishuai Li <[email protected]>'
 supported_coq_versions: