diff --git a/coq-quantumlib.opam b/coq-quantumlib.opam
index b2cd801..ffb429b 100644
--- 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.1.0"
+version: "1.2.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
index ee3dbb0..e80ee42 100644
--- a/dune-project
+++ b/dune-project
@@ -1,6 +1,6 @@
 (lang dune 2.8)
 (name coq-quantumlib)
-(version 1.1.1)
+(version 1.2.0)
 (using coq 0.2)
 
 (generate_opam_files true)