CafeOBJ in Debian

After close to a month of waiting, our CafeOBJ packages have finally entered 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.

Enjoy.