[ubuntu/vivid-proposed] mcrl2 201409.0-1ubuntu1 (Accepted)

[Artur Rona]

mcrl2 (201409.0-1ubuntu1) vivid; urgency=low

  * Merge from Debian unstable.  Remaining changes:
    - debian/rules:
      + Fix FTBFS on arm*: Disable GUI tools on arm* as they require
        QtOpenGL (GLES) and GL in the same binary.

Date: Sat, 10 Jan 2015 14:57:11 +0100
Changed-By: Artur Rona <ari-tczew at ubuntu.com>
Maintainer: Ubuntu Developers <ubuntu-devel-discuss at lists.ubuntu.com>
https://launchpad.net/ubuntu/+source/mcrl2/201409.0-1ubuntu1
-------------- next part --------------
-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA1

Format: 1.8
Date: Sat, 10 Jan 2015 14:57:11 +0100
Source: mcrl2
Binary: mcrl2
Architecture: source
Version: 201409.0-1ubuntu1
Distribution: vivid
Urgency: low
Maintainer: Ubuntu Developers <ubuntu-devel-discuss at lists.ubuntu.com>
Changed-By: Artur Rona <ari-tczew at ubuntu.com>
Description:
 mcrl2      - formal specification language toolset
Changes:
 mcrl2 (201409.0-1ubuntu1) vivid; urgency=low
 .
   * Merge from Debian unstable.  Remaining changes:
     - debian/rules:
       + Fix FTBFS on arm*: Disable GUI tools on arm* as they require
         QtOpenGL (GLES) and GL in the same binary.
Checksums-Sha1:
 1d11acad3b7ba6862f8e042c09f184a6a66db826 1505 mcrl2_201409.0-1ubuntu1.dsc
 fe5c1039fd282ef86199cbea373d72d6b372a4d4 17457340 mcrl2_201409.0.orig.tar.gz
 ce5d61083d257851913a6e484f11f3a55c84e11b 6844 mcrl2_201409.0-1ubuntu1.debian.tar.xz
Checksums-Sha256:
 0e40c979e3b267a02dd39665bc648a1672feb77ba8bd56421c8fad271fa3c572 1505 mcrl2_201409.0-1ubuntu1.dsc
 322fa8835d7500bfe3e679a2d19c96e3c235d17af4ad3e674b564a2d5edaff3f 17457340 mcrl2_201409.0.orig.tar.gz
 9abcaa4854ec83110fb45bdbdfaec7c35c5ea0b6806592abfa45299f288d86b2 6844 mcrl2_201409.0-1ubuntu1.debian.tar.xz
Files:
 f6b1a73a68f44d5231eb15ae2d10ce98 1505 math extra mcrl2_201409.0-1ubuntu1.dsc
 a138131d377c9740a7d3ec4d058c0081 17457340 math extra mcrl2_201409.0.orig.tar.gz
 409067de178c0c72c360a1ee7ca3ebbb 6844 math extra mcrl2_201409.0-1ubuntu1.debian.tar.xz
Original-Maintainer: Sjoerd Cranen <scranen at win.tue.nl>

-----BEGIN PGP SIGNATURE-----
Version: GnuPG v1

iEYEARECAAYFAlSxMFMACgkQJQyNbOKS/hbS5ACgmYyZZMWOw4xJEwTQhluBJ7zc
l38AoIUpi4pkurjWiUOWapyxitpDdrlD
=AMtr
-----END PGP SIGNATURE-----