anil.recoil.org / opam-repository
this repo has no description
fork atom

Merge pull request #23450 from kit-ty-kate/fix-223

rfsm.1.0: Fix syntax error

Kate be5e1765 dfda1be4

options
unified split
Changed files
+1 -1
packages
rfsm
rfsm.1.0
opam
+1 -1
packages/rfsm/rfsm.1.0/opam 
···

       
26

       
26

       
 

       
  "menhir" {< "20211215"}


     

       
27

       
27

       
 

       
  "lascar" {< "0.6.0"}


     

       
28

       
28

       
 

       
]


     

       
29

       

       
-

       
available: opam:version < "2.0.9"


     

       

       
29

       
+

       
available: opam-version < "2.0.9"


     

       
30

       
30

       
 

       
synopsis:


     

       
31

       
31

       
 

       
  "A toolset for describing and simulating StateChart-like state diagrams."


     

       
32

       
32

       
 

       
url {