Format: 1.8
Date: Sat, 10 Jan 2015 14:57:11 +0100
Source: mcrl2
Binary: mcrl2
Architecture: i386
Version: 201409.0-1ubuntu1
Distribution: vivid-proposed
Urgency: low
Maintainer: Ubuntu/amd64 Build Daemon <buildd@comet.buildd>
Changed-By: Artur Rona <ari-tczew@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:
 c7df4e0b01a40f462d1c7f13274f1fc22bf83da5 8010836 mcrl2_201409.0-1ubuntu1_i386.deb
Checksums-Sha256:
 d4b8f4b4e0357f162f2095334fc83dab88ef2cc87751a5e099102024c03d1c1d 8010836 mcrl2_201409.0-1ubuntu1_i386.deb
Files:
 4dc13d228f22ff031405c2e80dd93903 8010836 math extra mcrl2_201409.0-1ubuntu1_i386.deb
Original-Maintainer: Sjoerd Cranen <scranen@win.tue.nl>