From 01f77149adf43148c31c9026ff6f1b21d605d222 Mon Sep 17 00:00:00 2001 From: Nate Foster Date: Mon, 29 Apr 2019 19:53:46 -0700 Subject: [PATCH] Bump version --- petr4.opam | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) 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 "]