diff --git a/coq-quantumlib.opam b/coq-quantumlib.opam index 0d8af2f..b2cd801 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.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 index 1f91a92..ae46897 100644 --- 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)