CafeOBJ in Debian
Not having all the build architectures at hand for testing, there have been a lot of build-failures, especially due to non-existing home diretories, but this be fixed in a day or two.
So from now on, to use your favorite algebraic specification and verification language, just use
apt-get install cafeobj
Please send bug reports, or register a issue with our issue tracker.