Ubuntu
mcrl2 package

mcrl2 201409.0-1ubuntu1 source package in Ubuntu

Changelog

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.
 -- Artur Rona <email address hidden>   Sat, 10 Jan 2015 14:57:11 +0100

Upload details

Uploaded by:
Artur Rona
Uploaded to:
Vivid
Original maintainer:
Ubuntu Developers
Architectures:
any
Section:
math
Urgency:
Low Urgency

See full publishing history Publishing

Series Pocket Published Component Section
Xenial release universe math

Downloads

File Size SHA-256 Checksum
mcrl2_201409.0.orig.tar.gz 16.6 MiB 322fa8835d7500bfe3e679a2d19c96e3c235d17af4ad3e674b564a2d5edaff3f
mcrl2_201409.0-1ubuntu1.debian.tar.xz 6.7 KiB 9abcaa4854ec83110fb45bdbdfaec7c35c5ea0b6806592abfa45299f288d86b2
mcrl2_201409.0-1ubuntu1.dsc 1.5 KiB 0e40c979e3b267a02dd39665bc648a1672feb77ba8bd56421c8fad271fa3c572

View changes file

Binary packages built by this source

mcrl2: No summary available for mcrl2 in ubuntu vivid.

No description available for mcrl2 in ubuntu vivid.