diff --git a/petr4.opam b/petr4.opam
index 19fc90806..08ef4cc39 100644
--- a/petr4.opam
+++ b/petr4.opam
@@ -1,5 +1,5 @@
 opam-version: "2.0"
-version: "0.1"
+version: "0.1.1"
 synopsis: "Petr4: Formal Semantics for the P4 Programming Language"
 maintainer: "jnfoster@cs.cornell.edu"
 authors: ["Nate Foster <jnfoster@cs.cornell.edu>"]