Packaging BINSEC 0.3

January 24, 2020

Following the release of BINSEC 0.3, packaged version of the tool are now available for Docker and OPAM.

The Docker container can be pulled by:

docker pull binsec/binsec-0.3:v1

Our OPAM package has just been merged in [see here] and should therefore be available shortly from this source as well.