We have released a new version of CafeOBJ, which incorporates new commands and fixes for CITP.
Please see the download page for the source release, binary packages, and installation instructions.
For the moment Windows builds are only available based on Allegro CL due to incompatibilities between Windows SBCL and CafeOBJ.
CafeOBJ 1.5.8 has already been uploaded to Debian, see https://tracker.debian.org/pkg/cafeobj. The MacPort is also updated.
Please report bugs to our Github project issue page.