We are happy to announce the release of version 0.2beta of the BINSEC platform.
This version is available for download from here.
We expect to make it available to OPAM once this version is stabilized.