fixing the version to 8.19

configure.ac

@@ -10,7 +10,7 @@
 # will set several variables: (see AC_SUBST at the end of this file)
 #~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
 
-AC_INIT(coq-dpdgraph,1.0)
+AC_INIT(coq-dpdgraph,1.0-8.19)
 AC_MSG_NOTICE(AC_PACKAGE_NAME version AC_PACKAGE_VERSION)
 
 #~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~

meta.yml

@@ -6,7 +6,7 @@ organization: coq-community
 community: true
 action: true
 plugin: true
-branch: 'coq-master'
+branch: 'coq-v8.19'
 
 synopsis: >-
   Compute dependencies between Coq objects (definitions, theorems) and produce graphs
@@ -29,15 +29,15 @@ maintainers:
 
 opam-file-maintainer: [email protected]
 
-opam-file-version: dev
+opam-file-version: 8.19.dev
 
 license:
   fullname: GNU Lesser General Public License v2.1
   identifier: LGPL-2.1-only
 
 supported_coq_versions:
-  text: master (use the corresponding branch or release for other Coq versions)
-  opam: '{= "dev"}'
+  text: 8.19 (use the corresponding branch or release for other Coq versions)
+  opam: '{>= "8.19" & < "8.20~"}'
 
 supported_ocaml_versions:
     text: 4.05.0 or later
@@ -55,7 +55,7 @@ dependencies:
     [OCamlgraph](https://github.com/backtracking/ocamlgraph)
 
 tested_coq_opam_versions:
-- version: dev
+- version: 8.19
 
 namespace: dpdgraph