Correct metadata after release

inQWIRE · Jul 31, 2022 · b920430 · b920430
1 parent 7ce467b
commit b920430
Show file tree

Hide file tree

Showing 2 changed files with 2 additions and 2 deletions.
diff --git a/coq-quantumlib.opam b/coq-quantumlib.opam
@@ -1,6 +1,6 @@
 # This file is generated by dune, edit dune-project instead
 opam-version: "2.0"
-version: "1.0.0"
+version: "1.1.0"
 synopsis: "Coq library for reasoning about quantum programs"
 description: """
 inQWIRE's QuantumLib is a Coq library for reasoning

diff --git a/dune-project b/dune-project
@@ -1,6 +1,6 @@
 (lang dune 2.8)
 (name coq-quantumlib)
-(version 1.0.0)
+(version 1.1.0)
 (using coq 0.2)
 
 (generate_opam_files true)