This is to announce the availability of version 0.6 of Lascar, a library for manipulating Labeled Transition Systems in OCaml.
This release is essentially a repackaging to support building and installing with dune and removing the dependency on camlp4.
Lascar is available in source code from github or as a opam package.
JS