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.


Leave a Reply

Your email address will not be published.

You may use these HTML tags and attributes: <a href="" title=""> <abbr title=""> <acronym title=""> <b> <blockquote cite=""> <cite> <code> <del datetime=""> <em> <i> <q cite=""> <s> <strike> <strong>