Ubuntu
mcrl2 package

mcrl2 201210.1-1ubuntu1 source package in Ubuntu

Changelog

mcrl2 (201210.1-1ubuntu1) raring; urgency=low

  * Fix FTBFS on arm*: Disable GUI tools on arm* as they require
    QtOpenGL (GLES) and GL in the same binary.
 -- Felix Geyer <email address hidden>   Mon, 05 Nov 2012 13:50:03 +0100

Upload details

Uploaded by:
Felix Geyer
Uploaded to:
Raring
Original maintainer:
Ubuntu Developers
Architectures:
any
Section:
math
Urgency:
Low Urgency

See full publishing history Publishing

Series Pocket Published Component Section
Trusty release universe math

Downloads

File Size SHA-256 Checksum
mcrl2_201210.1.orig.tar.gz 7.8 MiB 52a29a2dc7360459ae2cc20124f41b1ad25e4f9edcc8d38a0464b6d481031cb4
mcrl2_201210.1-1ubuntu1.debian.tar.gz 6.9 KiB 183e4ff0469c737c440e33a07237acb4a5f4e86d95ed40a1fe499acc2ca58b0b
mcrl2_201210.1-1ubuntu1.dsc 2.1 KiB 934f18d905819d6d72c035ffe298b794d5ca76df5e3ac97accc31cf1fcc654ef

View changes file

Binary packages built by this source

mcrl2: No summary available for mcrl2 in ubuntu utopic.

No description available for mcrl2 in ubuntu utopic.