Ubuntu
mcrl2 package

Branches for Trusty

Name		Status	Last Modified	Last Commit
lp:ubuntu/trusty/mcrl2		2 Mature	2013-10-19 19:06:57 UTC 2013-10-19	12. Fix FTBFS on arm: Disable GUI tools ... Author:* Felix Geyer Revision Date: 2012-11-05 13:50:03 UTC Fix FTBFS on arm: Disable GUI tools on arm as they require QtOpenGL (GLES) and GL in the same binary.