Format: 1.8
Date: Mon, 05 Nov 2012 13:50:03 +0100
Source: mcrl2
Binary: mcrl2
Architecture: armhf
Version: 201210.1-1ubuntu1
Distribution: raring-proposed
Urgency: low
Maintainer: Ubuntu/armhf Build Daemon <buildd@iara.buildd>
Changed-By: Felix Geyer <debfx@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: 
 332c46778a54ca5f5d63caf8e212e1dab78bba3e 9327762 mcrl2_201210.1-1ubuntu1_armhf.deb
Checksums-Sha256: 
 24dbbc62e1b06659d4880eef7fde19c7ff006e2e658ea897f843e2a788db4e5e 9327762 mcrl2_201210.1-1ubuntu1_armhf.deb
Files: 
 68f29c53db250065a0bb04aaaf35e91a 9327762 math extra mcrl2_201210.1-1ubuntu1_armhf.deb
Original-Maintainer: Jeroen Keiren <jkeiren@win.tue.nl>