From 13ddaceaa2e540b93e6e33ef3444840ef9e20e7f Mon Sep 17 00:00:00 2001 From: jserot Date: Wed, 29 Nov 2023 15:19:34 +0100 Subject: [PATCH] Added version field to opam file --- rfsm.opam | 1 + 1 file changed, 1 insertion(+) diff --git a/rfsm.opam b/rfsm.opam index d8d5a819..654853f5 100644 --- a/rfsm.opam +++ b/rfsm.opam @@ -1,4 +1,5 @@ opam-version: "2.0" +version: "2.0" synopsis: "A toolset for describing and simulating StateChart-like state diagrams" maintainer: ["Jocelyn Sérot "]