[ubuntu/raring-proposed] mcrl2 201210.1-1ubuntu1 (Accepted)

[Felix Geyer]

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.

Date: Mon, 05 Nov 2012 13:50:03 +0100
Changed-By: Felix Geyer <debfx at ubuntu.com>
Maintainer: Ubuntu Developers <ubuntu-devel-discuss at lists.ubuntu.com>
https://launchpad.net/ubuntu/raring/+source/mcrl2/201210.1-1ubuntu1
-------------- next part --------------
-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA256

Format: 1.8
Date: Mon, 05 Nov 2012 13:50:03 +0100
Source: mcrl2
Binary: mcrl2
Architecture: source
Version: 201210.1-1ubuntu1
Distribution: raring
Urgency: low
Maintainer: Ubuntu Developers <ubuntu-devel-discuss at lists.ubuntu.com>
Changed-By: Felix Geyer <debfx at ubuntu.com>
Description: 
 mcrl2      - formal specification language toolset
Changes: 
 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.
Checksums-Sha1: 
 b065e5b04ae6f47608b0afd6c7ba5359e3337b1c 2154 mcrl2_201210.1-1ubuntu1.dsc
 edef053b0b988babf98f71ce63667f06237d4548 7073 mcrl2_201210.1-1ubuntu1.debian.tar.gz
Checksums-Sha256: 
 934f18d905819d6d72c035ffe298b794d5ca76df5e3ac97accc31cf1fcc654ef 2154 mcrl2_201210.1-1ubuntu1.dsc
 183e4ff0469c737c440e33a07237acb4a5f4e86d95ed40a1fe499acc2ca58b0b 7073 mcrl2_201210.1-1ubuntu1.debian.tar.gz
Files: 
 4dde5e3787480e0fb5aa051922822934 2154 math extra mcrl2_201210.1-1ubuntu1.dsc
 826139a4d27b467cfcbd7db8ccf34efa 7073 math extra mcrl2_201210.1-1ubuntu1.debian.tar.gz
Original-Maintainer: Jeroen Keiren <jkeiren at win.tue.nl>

-----BEGIN PGP SIGNATURE-----
Version: GnuPG v1.4.11 (GNU/Linux)

iQIcBAEBCAAGBQJQl7xmAAoJEP4ixv2DE11FQxcP/RJKKxYJLKF4194cMBKkWoOi
oK+kkgH1oQL2LPBo8TIeJbB5YGAxoF1dT/fuHh0yOD458Tfa4QnULOjRr5tyBAbw
pEsZNQ2S0UFqOaLfxpGyPzGG1CkmtSar9k8Mn5ffYe/xjLa1Xo/DvWYMK+i9oLPv
MmmC8K9TGw/SCUHOqekH/5UuWRGg1HopUjww+2/3enYuqd4j7DOP4nrIEpmkBa2V
NSLzZ+QM+kp63RsJa5jS/yCatR/eW9Mk4vo846iQVBvsXko9FDEMqONFN8ppVdle
K9bLSOzc0BtaV+wXG+hjn4RDGr1x4GEvUMd0pogRA1P12SDyzDw/Dk2DGbPmIabS
GgOjWi007L7eN8yY2+hbDCmo8SHvcPPHYr1JzKBPtSwosZRv2qS+BNNuyHefNeFi
8JyQzRNx+1bC+ZaJFzX8hdGlgnHPdUJSy+mTPTAhsr8sMtFz9C6FYF9HWVauksHa
N/YRPtvBl7JcetwlgQFpu0RtgrJiHSwzK07CTFRK5v+lpqYXb29E1AYtQ9kd64N6
1Mt+v4V4pIKFb4GAX1fz2E6xQ5bzjD3lpPky8IJpnIsqu6Y4qNNnjbbUokrCSDnR
GUkqg2V5Cq9UjWNVLuXbQrH4ZXHDRBBr91ZUKsP0IixDZdsr7XAGl8XGka/i4S9Z
XObK9EyhQxaC+CUN7wJt
=12Ra
-----END PGP SIGNATURE-----