Publishing details

Published on 2013-10-18
Copied from ubuntu raring in Primary Archive for 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

Available diffs

diff from 201202.0-2 (in Debian) to 201210.1-1ubuntu1 (1.4 MiB)
diff from 201210.1-1 (in Debian) to 201210.1-1ubuntu1 (926 bytes)

Builds

Built packages

mcrl2 formal specification language toolset

Package files

mcrl2_201210.1-1ubuntu1.debian.tar.gz (6.9 KiB)
mcrl2_201210.1-1ubuntu1.dsc (2.1 KiB)
mcrl2_201210.1-1ubuntu1_amd64.deb (12.4 MiB)
mcrl2_201210.1-1ubuntu1_arm64.deb (10.8 MiB)
mcrl2_201210.1-1ubuntu1_armel.deb (9.3 MiB)
mcrl2_201210.1-1ubuntu1_armhf.deb (8.9 MiB)
mcrl2_201210.1-1ubuntu1_i386.deb (13.0 MiB)
mcrl2_201210.1-1ubuntu1_powerpc.deb (12.7 MiB)
mcrl2_201210.1-1ubuntu1_ppc64el.deb (6.0 MiB)
mcrl2_201210.1.orig.tar.gz (7.8 MiB)