From 4c8364ff9eef0d2abb67d3a3cd9cc681f0dc5dca Mon Sep 17 00:00:00 2001
From: Karl Palmskog <palmskog@gmail.com>
Date: Wed, 25 Aug 2021 14:28:59 +0200
Subject: [PATCH] update meta.yml to be consistent with boilerplate

---
 meta.yml | 6 ++++--
 1 file changed, 4 insertions(+), 2 deletions(-)

diff --git a/meta.yml b/meta.yml
index ac63bc0..3b9f6a6 100644
--- a/meta.yml
+++ b/meta.yml
@@ -6,7 +6,7 @@ community: true
 action: true
 plugin: true
 doi: 10.4230/LIPIcs.CSL.2012.399
-branch: master
+branch: 'master'
 
 synopsis: Plugin for generating parametricity statements to perform refinement proofs
 
@@ -59,6 +59,8 @@ namespace: Param
 
 opam-file-maintainer: 'Pierre Roux <pierre.roux@onera.fr>'
 
+opam-file-version: 'dev'
+
 tested_coq_opam_versions:
 - version: 'dev'
 
@@ -112,7 +114,7 @@ documentation: |-
   ```
 
   Note that translating a term or module may lead to proof obligations (for some
-  fixpoints and opaque terms if you did not import `ProofIrrelevence`). You can
+  fixpoints and opaque terms if you did not import `ProofIrrelevence`). You need to
   declare a tactic to solve such proof obligations:
   ```coq
   [Global|Local] Parametricity Tactic := <tactic>.